Build local HTML docs using the RTD theme.
Split docs into dev/user docs, and add better docs for adding banners.
Add help text to make things clearer.
And by 150x150 I mean 125x125.
Fix bug 1027176: Add public statistics section to site.