Merge branch 'maint-1.0'
- maint-1.0: BibFormat: fix format validation report WebSubmit: capitalise doctypes in Doc File Manager WebSession: simplify HTML markup WebAlert: simplify HTML markup
Conflicts:
modules/websession/lib/websession_templates.py
modules/websubmit/lib/websubmit_webinterface.py