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
As the Datastar author, I'd approve this effort