chiark / gitweb /
terminal: extend RGB attributes