misc My private misc repo. If you (or I) think I should do something that doesn't fit with my other GitHub repos you can add it here as an issue.