:::I can see how you might have thought I was the anon editor making a WP:POINT, since I accidentally made the edit before I logged in. In any case, I think if the anon editor who originally brought this up wants to discuss how this information should be and could be included, that would be welcome - otherwise, I'm not going to re-add it.