Add note that VeriWeb is not under development; fix typo