Luis Villa wrote: > On Sun, 20 Mar 2005 14:17:44 +0000, Gervase Markham <gerv at mozilla.org> wrote: >>If it results in worse documentation, how do we change back? > > Wikis have revisions too :) Mediawiki's is particularly good. Sorry for not being clear; I meant "how do we change back to DocBook"? Gerv