David Vanderschel wrote:
The objective is to facilitate the use of references to the official documents from the Wiki in order to avoid duplication in the Wiki of information already well-presented in the official documents.
That is a very good objective. It is a good step towards getting the wiki and the documentation work together. Both the wiki and the docs may gain on this.
