Release v0.1.0 and publish to the Marketplace

[InSyncWithFoo]

Things to do:

• Make sure release.yaml works.
• Edit the docs so that both plugins are reflected.

[InSyncWithFoo]

This plugin and its sister will be published no sooner than the next Sunday (2024-04-14).

[InSyncWithFoo]

For the record, CLI v0.1.0 will only support 2024.1 and later (which means mvp.6 will be the last version to support 2023.3). This, however, won't apply to langserver for a while due to #7.

[InSyncWithFoo]

This, however, won't apply to langserver for a while due to #7.

I take that back. Just found a fix.

[InSyncWithFoo]

I'm willing to take a bet of 3 more hours of debugging that I did not remove anything of significant importance from release.yaml. One task down, one to go.

[InSyncWithFoo]

#12 turned out to be quite a big task, more so than I thought, with all the intricacies of the UI framework and such.

Since the approval process will take up at least two to three business days, I will have to submit the plugins on Friday morning at the earliest. Not to mention the chance of them being rejected. It's likely that I won't be able to fix it by then, so I'm spending my available time left on rewriting the docs instead.

Hopefully sharing configurations among colleagues who disagree on their favourite OS is not too much of a necessity.

[InSyncWithFoo]

I will have to submit the plugins on Friday morning at the earliest.

...or maybe Thursday morning. It seems that Saturday is not a business day for JetBrains employees.

[InSyncWithFoo]

Task 2 is done (4d1f29b and 5e997e7).

[InSyncWithFoo]

Plugin uploaded to the Marketplace, awaiting approval. Closing.