chiark / gitweb /
terminal/screen: fix GL/GR double-mapping