Hacks to separate build server from web server
Ready for deployment
Added warning for outdated documentation
Okay, more warning
Force flushing of stdout for debug print systems.

Hopefully, this will fix the problem of bug 803530, by at least having the
progress print statements force resets of the 1 hr-with-no-output time limit.
Set the link's text content as the search hint
Updating production to newer revision.
Write out build logs on the fly, rs=ErikRose
Add the number of worker threads needed for better debugging.
Fix (hopefully all) XSSes in old CGI-based code. Fixes bug 846291.

We used to pointlessly HTML-escape the query when returning search results as JSON. Stopped that.
Dummy merge to bring production onto the master branch.