chiark / gitweb /
man: introduce new "Desktop" property for sessions