More on the Wiki Doc

The Wiki Doc integration tool slowly takes shape. The basic tool is ready as prototype and is able to upload changes from our help and to detect collisions with the Wiki changes. The next step is to allow collision resolution. Hopefully the Wiki site will be opened for editing soon :-)