Max Schmitt ba8a6c4b08
docs: fix HTML snippets (#19507)
Merging unreviewed to unblock docs build.

Main fix is in line 818, others drive-by.
2022-12-16 12:01:33 +01:00
..
2022-12-16 12:01:33 +01:00