Thanks! I did not know that. I mentioned them because I have never had trouble with them over some decades.
They were my second registrar. In fact more like the first "real" registrar, because before and in the 90s I registered via a one-man show.
But of course things can change. Let's see how this develops.