Expected Behavior

Dune should refuse to create a project with a name that begins with a digit.
If Dune attempts to build a module whose name starts with a digit, the error message should indicate that it can't do so.

Actual Behavior

It creates the project skeleton.
The error on build reads:

Error: "01_module" is an 
invalid module name. Module names must be non-empty and composed only 
of the following characters: 'A'..'Z', 'a'..'z', '_', ''' or '0'..'9'. 
Hint: M01_calorie_counting would be a correct module name

Which, while the hint is useful, would actually imply that the name is okay as is.

Reproduction

dune init project 01_module
cd 01 module
dune build

Specifications

• Version of dune (output of dune --version): 3.9.1
• Version of ocaml (output of ocamlc --version) 5.0.0
• Operating system (distribution and version): 6.4.4-arch1-1