Today has seen an unsuspected turn of events. What started out as another persons licensing question, looks like it will lead to me no longer working on MonoDevelop. That is, if the original authors believe that all AddIns are a derivative work and must be GPL'ed, I wish to respect that opinion and not try to argue about it. Even though I have no plans to write one (AddIn in another license), nor know of any that exist, I simply cannot support that position. It's probably my fault for not realizing this situation myself, and I will take all the credit for that.
Currently, I feel I might walk away from it in either case. (In case it sounds like I am mad at them, I am not, they are still good people.) I am a firm believer in co-existance of software and that platforms should allow for this. Oh well, it was fun, and hopefully others will come to work on it in my absence. It was becoming time for me to move on anyways, back to Gtk# docs!