Retire the mechanism for selecting the stylesheet
for 'profiling', since it only worked by accident and
it is unnecessary to do this differently for the
various output formats. The path to profile.xsl is
now specified in global.properties.
This should have no effect on production of HTML
or PDF for any guide.