Merge branch 'refs/heads/t/rm_source_browser'

Cooking for five months.

A single patch which gets rid of the source browser generated with
global, reducing the size of the web pages considerably.

* refs/heads/t/rm_source_browser:
  web: Remove extra source browser.

diff --combined NEWS.md
index 71eb6cb26d3a333f8840f78848ad74986f689754,71eb6cb26d3a333f8840f78848ad74986f689754..afc7f1054d9df40371a6594255c6e47b4baf356b
--- 1/NEWS.md
--- 2/NEWS.md
+++ b/NEWS.md
@@@ -1,6 -1,6 +1,16 @@@
  NEWS
  ====
  
++------------------------------------------
++0.5.7 (to be announced) "semantic density"
++------------------------------------------
++
++- One of the two source browsers has been removed from the web pages.
++  The doxygen API reference still contains an HTML version of each
++  source file.
++
++Download: [tarball](./releases/paraslash-git.tar.bz2)
++
  ---------------------------------------
  0.5.6 (2016-07-10) "cascading gradient"
  ---------------------------------------