Eliminate separate publish scripts in favor of the One True Way of <?xml-stylesheet directives