Add CNAME after repository rename to work around GitHub bug.