re: #395 reine.de.tout

Please don’t die.