Unfortunately, the docs site code is...elaborate, and I don't think anyone could replicate the current site without a ton of effort from us. I don't see us open-sourcing that.
I don't understand this. It's not like anyone's asking you to make it easier. A code dump, useless as it may seem, is better than no code than at all. A code dump doesn't mean you owe anything to anyone.
Sure, but he seems to not want to do it because it involves work. It doesn't involve work[1]. Just dump it, in whatever state it is.
--
[1] Well, other than perhaps and upload to bitbucket or github and slapping a LICENSE file on it, probably. It shouldn't involve any maintenance or development work, is what I mean.
As discussed in other threads, he would have to go through the entire code base and determine licensing of all code he was using, talk to investors about being allowed to release, and strip out any confidential information. I honestly wouldn't hassle with it if my company just went belly-up, but it would be nice if it happened :)
I did find out about Git notes through this thread, which seems interesting.