Our automatically-generated project paths are of the form project<N>. If a spec
manually specifies a project path of that form, it may conflict with the
automatically-generated paths in some circumstances.