26 Jul
2008
26 Jul
'08
8:53 a.m.
Thanks. That's the wiki item named 'Manual' that misled me. Probably worth merging the MANUAL with the man page (which stands for manual anyways)?