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

instead of using the content-type the browser gave us during the upload
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
mediawiki: fix paths in import/export scripts (use forge_get_config + s/wikidata/projects/)
fix [#691]: adding a new theme cause an error
sync CHANGES
Fix more cron output
Remove wiki plugins Video and SyntaxHighlighter in Branch_5_3 to avoid missing source code alerts.
fckeditor: drop in favor of ckeditor
fckeditor: remove remaining auxiliary files