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
..
2021-07-09 01:06:41 +00:00
2022-05-21 11:25:19 -04:00
2021-07-09 01:06:41 +00:00
2021-07-09 01:06:41 +00:00
2023-03-08 16:35:11 +01:00
2021-07-09 01:06:41 +00:00