I suggest that (after the release) we rename `xman' to `xmanpages'. `xman' suggests the well-known X manual page browser. Ian.