I contacted @dang asking to change the title since the edit period had passed. To his credit, he responded in less than 20 minutes, after hours.