miscellaneous files related to the project