MonoDevelop port to Gtk+3 has moved from "hypothetical" to "severely broken public branch full of stubs which doesn't even build fully".