The source project of this merge request has been removed.
docs: remove no-longer-required sed-expression to handle manual page header generation
This should additionally resolve a build reproducibility issue related to timezone-localization of header files.
Closes #1064404.