chiark / gitweb /
dot/emacs: Permit duplicate entry names.