mmm, actually, it seems that info about that repo is included with PyCharm: https://github.com/rigogsilva/pycharm/blob/master/web-types-registry.xml
need to leave now, but I'll check later what's the more user-friendly way to leverage that, to assess if it would be worth having the htmx web-types in there.