re: #337 reine.de.tout

I’ve never heard of a retired terrorist, so I would think most of the nonrepeaters weren’t terrorists in the first place.