Some more .dotfiles copied from Paul