Miscellaneous files I want to store in github with no specific purpose (over time)