Presumably Datastar is a trademark that shouldn't be used that way? (Or does the owner of HTMX also own Datastar?)

It's a joke.

I dont think they have a trademark. I also think they'd be completely in favour of HTMX rebranding to Datastar Libre.

As the Datastar author, I'd approve this effort