On Mon, 2007-12-31 at 17:33 +0100, Manlio Perillo wrote: > The documentation should be edited using an RCS (I *hate* to edit > documents using browsers), but comments should be easy to add. Not an RCS, but at least gets you out of the browser: https://addons.mozilla.org/en-US/firefox/addon/4125 Cliff