Out and toc files. Should be those removed from the repository?