Use released version of Flask-Security.
Make deps-devel include dev-frozen.
Use flask's Latex theme.