chiark / gitweb /
terminal: add page handling for terminals