chiark / gitweb /
drop support for MANAGER_SESSION, introduce MANAGER_USER instead