My (somewhat amateur) dotfils