"An obscure criminal law bars the removal of official records, on penalty of disqualification from holding any federal office. But it may not play out that way."