Merge branch 'fix/handbook' into 'master'

Johannes Hommelrequested to merge
cherry-pick-e6b38db7 into next

[doc] Remove section about outdated highlighting file

See merge request !511 (merged)

Edited by Johannes Hommel

Merge request reports