VS Code linter options?

According to the Linter · Julia in VS Code documentation

You can … configure it via various options with the julia.lint. prefix.

However if I select it (View → Command Palette → insert julia.lint. ) I do not see any options. Does that mean that currently the set of implemented linter options is empty, or do I oversee something?

Try View > Command Palette then type Preference UI and select that option. There you’ll be able to search for the julia linting options and see what is available.

Thank you! Entering “julia lint” then indeed listed 13 options.