Merge branch 'master' into next

Merge branch 'master' into next

* master:
  web: Generate left- and right-justified text.
  Change color of signature and tar icons.
  Prevent doxygen from generating invalid html.
  Prefer https:// for web pages and git URLs.
  manual: Avoid duplicate section headings.
  manual: Replace http:// links with https://
  manual: Replace readline link.
  manual: Remove raid6 link.
  manual: Remove Articles section.
  manual: Replace doxygen link.
  manual: Replace broken git link.
  manual: Remove xmms2 link.
  manual: Fix local links.