Thanks for the reminder. This is a feature I know I really valued, in spite of its costs - along with footnotes. Someone set up a trello board, and I'll start using it. Within a month, let's get up a shared git repo with a gateway to master around peer review of those contributing.