re: #510 reine.de.tout

I’m in too. It’s easier if we do a little bit each week, instead of a big chunk all at once.