Thanks to [https://www.jetbrains.com/lp/mono/](https://www.jetbrains.com/lp/mono/).