libxml web frontend, used for XML lectures