Move a comment from the documentation into the example that it refers to, in order to avoid inconsistencies (e.g. line number references) and also to make it visible to those who only look at the file.
See #2353.