Hello, A heads up that the <div> showing the section extent, which can appear at the @node location now has a class name like "section-level-extent" instead of of a class name like "section". The "section" class name is only be associated to the section heading element.
It may require some change in the javascript, maybe? -- Pat
