plug XSS-with-CSP-bypass by always serving files as binary

instead of using the content-type the browser gave us during the upload
Remove old references to phpdoc
db_trove_maint.php: fix "value too long for type character varying(255)" error
git: suppress 'warning: You appear to have cloned an empty repository.' in create_scm_repos.php
implement the ability to use non-permanent redirects [#685]
RFC 2616¹ says redirections SHOULD contain a hypertext note, not plaintext

① Yes, I know of http://heise.de/-2217866 but this was quicker to look up…
exit_not_logged_in (but not exit_missing_param!) to temporary redirect [#685]
Fixed syntax
git: handle bad encoding when gathering stats
git: use LANG=C when filtering English Git messages
it’s LC_ALL, not LANG, which you want to override

man 7 locale
Merge branch 'Branch_5_1' into Branch_5_2
session_redirect_external uses temporary redirects
Merge branch 'Branch_5_2' into Branch_5_3
wiki: function _errorHandler is public
Use 'id', not 'name', for HTML::a
wiki: use CSS
wiki: update templates
wiki: use CSS
wiki: use CSS