The node you are looking for is at Changing the name of the coq project file.