chiark / gitweb /
server: docs: remove deprecated configuration and user upgrade.