Well, I guess Avalonia can solve 4 at least as you can negate a binding[1]. Good news for me as I recently started an Avalonia project, and thought you did still need an InvertedBoolConverter.

[1]: https://docs.avaloniaui.net/docs/reference/built-in-data-bin...