I just happened to notice mono-basic was silently dropped from Core when
upstream recently split it out of the mono distribution. So if anyone is
interested, someone will have to maintain in Extras. (Maybe the monodevelop
maintainer?)
Kevin Kofler