@mysterious-toddler-20573 in addition to (or in replacement of?) https://github.com/bigskysoftware/htmx/blob/master/editors/jetbrains/htmx.web-types, should we submit a PR to add it to https://github.com/JetBrains/web-types?