To be fair...
The ban was buried deep at the end of a long post in the middle of a thread. Being somewhat tired of the debate, I probably wouldn't have seen it without your link, and I expect a lot of other people didn't. I posted a note to Robert on protocol suggestions.