Delete now-unused code.