Miscellaneous configuration files (Emacs, Bash, etc.), hopefully useful also for others