FWIW I found better luck looking for "Starter kits" that are the board + power supply + case etc. There were a couple of sites that rpilocator checked that didn't have stock listed, but did have 8gb 4bs as part of a "Starter kit" for ~£15 more.

I assume it's some agreement not to list all the variants to try to allow hobbyists to still get some.