We should systematically make all errors emitted by ./x.py more grep-able. This will make life easier for @TimNN and other bots.