Further name migration.
Merge branch 'master' into production-apache-wsgi