68b96026ec
It turns out that this was actually fixed bybec507d739and857ac42aac, but we didn't identify it at the time. Notably, the `dynamic` devshell is still broken.