Fix miscellaneous issues with the technical documentation #2453

Job	Run time
Style check (Bash)	7s
Style check (Markdown)	45s
Style check (Python)	26s
Style check (Lua)	43s
Type check (Python)	42s
Build Docker image (TL2022-historic)	13m 45s
Build Docker image (latest)	13m 45s
Test Docker image (TL2022-historic)	40m 28s
Test Docker image (latest)	15m 43s
Publish artefacts and create a prerelease	0s
Publish Docker image	0s
Automatically merge pull request	2s
	1h 26m 26s

Provide feedback