Because this has suddenly gone from +something to -4 I want to point out that when I wrote it, the submitted title was 'GIL Strang [...]'; so it made a lot more sense (and the title didn't)...

It'd be nice if a title change afforded a possibility to edit/delete comments, or if mods doing so would scan the comments for anything about them.

(I recently had a very old tweet liked and retweeted by someone I mentioned in it, that I can't make head or tails of - I can only assume the account is now owned by someone else - so I'm a bit sensitive to it...)