chiark / gitweb /
terminal: add helper to retrieve the seat of a session