Nice content, but shouldn't this stuff live under `doc/` in the CIDER repo? For one thing, it's easy for external documentation like this to get out of sync with the development in CIDER itself.