develop.md: some cleanups

Merge request reports

Loading