Split development documentation into several pages

[nirname]

📑 Summary

Simplifying development documentation

Related:

• Documentation restructure and update #2910
• Docs update and restructure #4596

📏 Design Decisions

Current development pages were far to long to read and understand:

• Split development page into several pages, previous one was far too big to read it briefly
• Nested sections at the left menu buttons caused Prev Page and Next Page buttons to be wrong
• Sections inside development pages are 2nd level now (heading 2) and visible at the right menu
• Added some missing commands to start development
• Removed links to obsolete n00b-overview page and the page itself
• Added documentation for development in Docker and cross links between host and docker installation guides
• Fixed top menu (added link to contribution sections)
• Squashed some sections of introduction page together as they repeated each other
• Some of the headings changed their levels to more consistent structure

Other things will be done in upcoming requests such as:

• Removing n00b from file names
• Making shorter version of development pages (aka Quick Start Guide) and updating CONTRUBITION.md
• Adding section 'Why use Mermaid'

📋 Tasks

Make sure you

• 📖 have read the contribution guidelines
• 💻 have added necessary unit/e2e tests.
• 📓 have added documentation. Make sure MERMAID_RELEASE_VERSION is used for all new features.
• 🔖 targeted develop branch

[codecov]

Codecov Report

Merging #4744 (cee2a45) into develop (b85c011) will increase coverage by 0.08%.
Report is 105 commits behind head on develop.
The diff coverage is n/a.

Additional details and impacted files

@@             Coverage Diff             @@
##           develop    #4744      +/-   ##
===========================================
+ Coverage    77.04%   77.13%   +0.08%     
===========================================
  Files          144      146       +2     
  Lines        14565    14561       -4     
  Branches       586      586              
===========================================
+ Hits         11221    11231      +10     
+ Misses        3233     3217      -16     
- Partials       111      113       +2     

Flag	Coverage Δ
e2e	84.03% <ø> (+0.13%)	⬆️
unit	45.55% <ø> (+0.21%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

see 18 files with indirect coverage changes

[nirname]

@Yokozuna59 I ensured that "Adding new diagram" is a separate file, and a separate line in the left menu. Editing it is harmless, there is no soon changes to this file in this or upcoming PR's. Edit it should you need to

[aloisklink]

Thanks for splitting up the #4596 PR! This is a lot easier to review 😄

Other than @sidharthv96's comments, it looks good to me, so I'll let @sidharthv96 officially "Approve" this PR when it's done.

Btw, for future PRs (it's not worth doing for this PR), it would be even easier to review if you split up the commits where you

• move lines between files and where you
• modify the lines.

That way us reviewers can easily see which lines you've just copied over, and we can ignore them, and only focus on the lines that have changed (you can then even write in your PR description to tell us to ignore some commits 😉)

---

Hmmm, weird, I swear docs/* is in the PR labeler config, but for some reason the Area: Documentation label didn't get automatically applied.

mermaid/.github/pr-labeler.yml

Line 4 in b85c011

'Area: Documentation': ['docs/*']

Maybe the labeller action doesn't work on PRs from forks? Oh well, it's not too difficult to manually label PRs.