chiark / gitweb /
terminal: provide display dimensions to API users