Remove some legacy, unused files --skip-ci