Hey all - we just deployed a fix for the HTML ID attribute. Please let us know if you’re still seeing issues.