Delete some old stuff that's been commented out for a while.