The rumor mill

For a few hours this morning, I mentioned a rumor at another site. It turned out to be an exaggeration, so I’ve removed the reference to it here.