WoTeXX, a wiki-syntax-oriented documentation tool and toolkit