Was renamed in 1a1cafdcf81a1211c77227c1625254e9f1c541f9, but the post-receive was not updated