doc: Utility script to inject markup into manual page head sections