Minor note

Old comments have been showing up in new threads. I’ve removed old comments for now. I have archives of them, so they will be back for Google. But right now it is more convenient to yank them. Sorry for the confusion.