chiark / gitweb /
man: drop references to the --priviliged command line option which has been removed...