Has anyone tried using HTMX + some realtime query layer like Convex?