Error codes · Old numbers

PW0302

An old number, now PW5003 (secret_to_browser).

The corpus's fixtures wrote it before one invariant got one code. The compiler never prints it.