Commit e4633419 authored by Gunter Königsmann's avatar Gunter Königsmann Committed by Raymond Toy

Manual: A bunch of many additional missing anchors.

I guess it is reasonable to commit them all in one go;
Will now trigger the Nightly Linux build in order to see if any
currently-active Ubuntu version runs into any problems with the
new anchors.
parent fa631829
Pipeline #1349 passed with stages
in 1 minute and 22 seconds