Fixes #. End-user documentation check. If this PR requires end-user documentation, please add that at https://github.com/julia-vscode/docs.