"Added publishing directives texinfo-top-title and texinfo-top-skip-title"
"Added publishing directives texinfo-top-title and texinfo-top-skip-title"