Having trouble installing the php-redis extension ("Unable to load dynamic library"), or any php extension

Yeah, that us under the “Classic” category, which basically means that it relates to when Local used Docker. While it was using Docker, you could treat it as a completely separate VM and install things like you would under an Ubuntu VM. With Lightning, you get a much faster site because the pieces of server software (php,mysql,nginx) are compiled for your specific OS and architecture.

Maybe not completely dead in the water, but it’s definitely harder than it seems. The main challenge is getting extensions compiled and configured across all OSes and architectures (ie Mac intel and Mac arm64, Windows, Linux)

That’s a good idea. It’s hard to prioritize this since it’s not a hard requirement of WordPress core, but I’d say upvote and reply to this feature request so that we can better understand what’s needed and how many users want it!