Hi, it seems that everything has gone fine so far and the posterior cleanup is also finished. I plan to lock the repo for a short time and rename .sgml files to .xml on Monday morning (according to UTC + 02:00). Probably it will not take too much time and the repo will be opened again soon. Gabor