Merge branch 'master' into next
- master: global: more error_page() refactoring global: warning/error message/page refactoring BibSched: smarter sleeping and stopping BibDocFile: proper URL encoding BibAuthorID: bugfixes
Conflicts:
modules/websearch/lib/search_engine.py