[gatein-dev] Confusion about editing documentation