Fixes to some modals; Added prettycheckable.js; Other minor UI stuff