Dirk 61c4aa2cb7 Implement fixes in documentation from #2074 (3.0)
kudos @k0lter

  * numbering
  * some ticks / backticks
2022-04-01 14:03:06 +02:00
..