a file with miscellaneous stuff