Move documentation into doc/