although it seems that users still need to go to that repo and fetch the file if they want to use it. It is not that by submitting it here they get "auto-included" on IntelliJ IDEs. So if that's the case, might be not worth it having it on a separate repo. Related to that, I think it would be beneficial to have a "developer resources" (or just resources?) section on the docs, linking to that web-types files and how to use it on different editors, and probably also links to "htmx friendly" libraries.