Plus fixed a minor syntax problem in the VSCode configuration
of the project.