Remove deprecated files

It's nice to have them archived, but they would possibly confuse someone.