Moving more documentation from doc/ to docs/