But it really should remove the key from the database. There’s no reason to retain anything more than the revocation signature itself.
The most difficult thing in the world is to know how to do a thing and to watch someone else doing it wrong, without commenting. -- T.H. White