chiark / gitweb /
dot-emacs: Flush stray close-paren.