02/10/2025 13:32, David Marchand: > The documentation has unused anchors that were either left behind after > a documentation refactoring, or just unused since day 1. > > Signed-off-by: David Marchand <[email protected]>
Some blank lines around anchors should be removed at the same time.
