The suggested name of a "great repository name". We had to take it.