v2023-12-05

Filter out unnecessary input files on 'make' command

Adapt the 'make' command to discard 'elm-stuff' and '.git' directories when loading from a local file system.