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