Hey, HN Admins, is it really necessary to micro-manage the titles?! I had “by John McCarthy” (which is highly relevant, and in the next line in the doc)! It’s just a bit prissy to have to have the titles your favorite way all the time. Please stop it, and if you need to micromanage peoples posts, you should be working for Wikipedia. Yeah, yeah, I know ... OFF TOPIC!