Hi Mike, quick update that might interest you. I’ve just been talking to @nuclearpengy about GitHub today and that could prove to be an awesome way of achieving some of the things I want to do with our docs. I’ve started thinking about a LaTeX component for paper-based documents that look awesome and like paper docs but working primarily in MultiMarkdown through something like GitHub (or using Git in some other form).