dotfiles: https://codeberg.org/mrh/dotfiles