2023.18.0

What's Changed

• Bump version to 2023.17.0-dev by @charliermarsh in #191
• Link to the issue tracker by @konstin in #193
• Improve development experience by @konstin in #192
• Only one server restart at a time by @konstin in #194
• Exclude build-only artefacts from vsix by @harupy in #201
• Bump Ruff version to 0.0.272 by @charliermarsh in #204
• Fix eqeqeq warning by @harupy in #202
• Bump the version number for a 2023.18.0 release by @charliermarsh in #205

Full Changelog: 2023.16.0...2023.18.0