Marek Marczykowski-Górecki 173054362c
Fix headings in 2 developer docs pages
Use heading levels consistently, especially:
 - do not use title in the middle of the page - there is just one page
   title, at the top, added automatically
 - do not skip levels (if there is ###, put ## before)
2023-10-29 17:16:35 +01:00
..