chiark / gitweb /
remove obsolete "elevate" code