Missing menu.js resource

The Codium theme version 1.4 contains a reference to a missing resource. /js/menu.js is referenced in the functions.php file but is not included in the theme. The resulting 404 not found error causes the page to load a second time as it draws the 404 response page. This results in a moderate (1 second) increase in page load time as this response is downloaded but not rendered.

You can see the error in the demo of the version 1.5 theme at https://www.code-2-reduction.fr/codiumpreview/. I used the Firefox developer tools, Network tab.

I’ve not upgraded to the latest version as this bug has not been fixed. I’ve worked around by removing this in my child theme. Can this please be fixed in the main theme? I’m happy to submit a patch or a pull request if requested.