Documentation

This repo holds our binary documentation.

I made it external, so we can update the documentation and reset the repo from time to time (if the git history becomes too large). So please don't rely on it. Every document should contain the author.