replaced anchors by cite for documentation references
Authored by: berndspeiser 2022-10-04
Parent: [r799]
Child: [r801]