See if Github can be persuaded to use my hostname for this project