I emailed with Tomas Petricek privately and am starting some work on the fsharp/fsharpbinding github project. Initially we will stabilize and get the bindings up on both MonoDevelop 2.4 and 2.6 + Mono 2.8 and 2.10.
I have created three milestones in the project
0.4 - the current code
0.5 - stabilization, getting up on MonoDevelop 2.4 and 2.6, and maybe get on
http://addins.monodevelop.com
vNext - feature work, and maybe eventually get into extras directory of MonoDevelop itself
The 15 issues have been categorized into these
I also created branch 0.4. master will be for release 0.5