Where are the Raspberry Pis?

From: George Mitchell <george+freebsd_at_m5p.com>
Date: Mon, 19 Sep 2022 22:24:47 UTC
I'm as happy as a clam at high tide to see all the FreeBSD work going
into supporting Raspberry Pis of all sorts.  But at the moment, it
seems to be that there are no Raspberry Pis (of any model) to be found
at any of the usual sources in the U.S.  Am I missing something?  Does
anyone have a clue as to when they might reappear?  Thanks!  -- George