Merge developer guide formatting issues#15577

Merged

electrum merged 4 commits intotrinodb:masterfrom

nineinchnick:merge-docs-errors

Feb 9, 2023

Commits on Jan 3, 2023

Fix formatting issues in merge developer guide
Jan Waś
committed

Commits on Jan 4, 2023

Correct API references in merge page in docs
Jan Waś
committed
Fix spaces after dots in merge developer guide
Jan Waś
committed
Apply Google style guide on merge developer guide
Jan Waś
committed