Release 9.9.0-alpha.2

9.9.0-alpha.2 (2023-04-18)

Features

• core dom: Add escape_css_id method. (5aa7a52)

  Get an escaped CSS selector for a given id string.

id selectors should - but don't have to - start with a letter.
If the id starts with a number or a dash, it should be escaped.
This method does that for you.

Bug Fixes

• pat navigation: Do escaping for hash id selectors, so they are allowed to start with a number. (75d8283)

• pat scroll-marker: Do escaping for hash id selectors, so they are allowed to start with a number. (d733cb7)

• pat scroll-marker: The init method does not need to be async. (c308b66)