Reimar Döffinger wrote on Sun, 30 Jan 2011 11:18:32 +0100: > It's supposed to correspond to DOCS/xml in the main repository, but I do > not know if updating of it currently works. It does not. Recent changes do not show up there. Ingo