Recompiled static/js/mol.js.
Tweaked synonym search messages.