chiark / gitweb /
dot/emacs: Hack around Emacs and screen terminal naming conventions.