Reformatted man pages from Peter Breitenlohner, with a few fixes