Folkert de Vries 9c8f736849 make documentation headers consistent ... this now always uses the name as specified by the official docs		2025-03-26 13:50:38 +00:00
..
stdarch	make documentation headers consistent	2025-03-26 13:50:38 +00:00