This git repo contains misc stuff under version control.