dotfiles personal dotfiles, uploaded as a convenience to myself, probably nothing of interest to be seen here