I used to work at a registrar and I have trouble believing any registrar would buy domains you search in real time as stated in the Reddit. We got literally millions of searches everyday and, surprise, domains cost money! They’re not free for registrars. Maybe some shady registrars (one in particular who also happen to own an aftermarket) do it, non real time, but it would be a business reaaaally hard to make profitable.