re: #825 reine.de.tout

There’s a blueheron
and a blueherron.
This was double “r” blueherron.

That’s too confusing. One of them needs to change their nick.