→ISet<ElementId>A list identifying changed elements.
Thanks for the report.
Erik will look at it. You can keep using the site.
Embed this page
Sections to include
Theme
Adds a tiny script so the iframe grows to fit its content. Some sites (Medium, Notion) strip scripts, leave this off for those and the embed scrolls inside a fixed height.