Please report yur feedback on the list:
mizar32@googlegroups.com