commented the hidden Mizar text - can cause strange (italics etc) text in the html part - probably needs bettwe html escaping if ever needed
latest fixes to the forntend page