On 1/16/2018 10:32 AM, qznc wrote: > On Monday, 15 January 2018 at 01:10:58 UTC, Walter Bright wrote: >> PRs banished to the Phantom Zone would have to have an explanatory comment >> saying why. > > I would suggest an alternative approach: Automate it. Banishment to the PZ requires judgement.