hide course4
Merge branch 'production' of github.com:code-dot-org/code-dot-org into production