re: #347 reine.de.tout

It might be a good idea to not put my name on anything there if you’re going to leave comments open. My “fan club” can be a problem.