Reviewing merge request "appcast" → "mainline"

[open]

appcast:master has requested a merge with mainline:master:

Commit e930737 contains some small fixes to the public/*.html pages

Commits that would be merged: