Doc reorganization
This moves dev-docs/
to docs/develop/
.
Existing developer documentation in docs/source/
got moved to the new developer docs folder docs/develop/
and the remaining files in docs/source/
(index.rst
, conf.py
) moved to the root docs/
.