Dear Prof. Shankar, We appreciate that you included Mizar in QPQ project. However I doubt if Mizar should be mentioned twice :) (Proof Checking, URL). There is already a Mizar Forum hosted on the Mizar Project's pages (mizar.uwb.edu.pl, mizar.org). So I think that a reasonable solution to organize Mizar Forum on QPQ, is to glue the forums together. Sincerely yours Krzysztof Retel Mizar Users Service