Replace location pins with screws for Raspberry Pi
The new electronics tray is great, but it's quite hard to remove the Pi. Given that Pis are in short supply, this is more likely to be necessary than we previously anticipated. Two of the mounting holes are used (with screws) and two sit above little bumps. These are surprisingly effective, largely because the audio jack ensures the board can't rise up enough to get off the bump, once it's in place.
There's not access to get a screwdriver in from the top (which I suspect is why Julian didn't use screws in the first place), but we could put screws through from the bottom - that would lock the board in place more securely, and replace the plastic bump with a screw that can be removed if needed.
This is not a showstopper, but it's a nice-to-have for the near-ish future.