@wiktor Just to clarify: While we contributed to Mailvelope, we are not the main developer. But since they are not on Mastodon (as far as I know only https://twitter.com/mailvelope and their own blog), I wanted to announce it over here as well.

I just received a reply that Mailvelope 4.0.1 will be released soon and will probably include your PR.