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