Plugin not published on marketplace?

Just a question: is the plugin no longer being published on the marketplace?

I see that the installation instructions only mention manual installation. I used to be able to update the plugin directly in the marketplace, but neither v1.11.1 nor v1.11.3 are showing up there (currently on v1.11.0).

Edit: Is it perhaps related to #1134?