Board Thread:General Discussion/@comment-27886747-20160611191524/@comment-28788537-20160621104114

Unrelated. The Google Docs one is completely finished being written, and it's to be wikified tomorrow. And, actually, the Google Doc started as the merging of three other efforts, so yeah, a lot of reduplication of work. It's funny/sad how it seemed like nobody was working on one (to my knowledge anyway) and then they just started coming out of the woodwork.