Yes, you wouldn't need HTMX (which is awesome!) with Tetra. The idea is that Tetra is an opinionated framework (with escape hatches), it will come with everything you need.