Changes to HTML Help files, broadening DIR use