Various changes related to the Subversion migration.