Benjie's dotfiles (not intended for public consumption)