Jonathan Pobst

Opened issue for our tooling to support these new JSpecify annotations: https://github.com/dotnet/java-interop/issues/1335.

You're correct that we should not be blindly bumping these. In fact, I don't think there's any reason to change these now, as they are all intended to be fixed...

I'm not entirely following what you are advocating here: > Exact/pinned version dependencies are rare. > True for exact/pinned version dependencies which are few. > Now that we have everything...

While we wish this was indeed a mistake on our part, it is not. It is how Square did their Java library versioning and it messes up Java/Maven as well:...

I think MDI will likely not be supported. I think this is probably better handled with a Visual Studio-like docking solution. Something like https://www.devexpress.com/products/net/controls/winforms/docking.