Dotfiles used by redh4re