re: #317 reine.de.tout

That’s what I finally had to do. I didn’t have that option right away, though.
That stuff aggravates me so much - I try to immediately post a warning, but sometimes people don’t refresh and so they don’t see it. Grrr!

?