various dotfiles, mainly those used in my screencasts