2013-spring-cleanup: Remove obsolete files.