Miscellaneous dotfiles administered using vcsh