Raspberry Pi OS airs out some fresh options for the summer

Why go outside in the sunshine when you could play with tiny computers in a darkened room?

Perhaps hoping to mark independence from x86 PCs, there's a new July 4th release of the official Raspberry Pi OS, although it remains coy of giving a version number.…