Board Thread:General Discussion/@comment-25389622-20150324182630/@comment-26102520-20150328014949

I'm saying not everyone takes the time to read the manual. Half the edits that the Admins make are to undo those issues...

Trivial or not, it's still not a style issue, so it still has no place in the manual, unless you are advocating adding irrelevant information to a page, which would be most unencyclopedic of you.