And there's a further layer in the onion: the bureau of mines was shut down except this one guy's department. And he said it was actually a good thing.

Removing code is hard, I assume it's also hard with government agencies, but sometimes it's really useful to do.