Manual pages - Section 3: the Inferno devices