alias lars "Lars Ingebrigtsen <larsi@mail-abbrev.com>"
alias karl "Karl Fogel <kfogel@mail-abbrev.com>"
alias emacsheroes lars karl