[wp-docs] codex git repo ???

[BUGHUNTER]

Hi,

btw I also had a nice experience with http://www.wikitaxi.org -
unfortunately WIndows only, but shows nicely what is possible.

> We just can't add the tools in that would make it allow for decent
> offline viewing.

the tools are already there, if you have mediawiki and php on the
server, what seems to be obviuos...




> So ... is there a specific tool you have in mind that we CAN use?  If you know of one, do share.