[rwth-security] pwnedkeys -- all the keys that should never be used again