Update pipenv to latest version 2023.12.1
This would allow use of package categories, which might help simplify dependency management.
Curious to see whether this breaks things or not, most notably CI.
Let me know if you want this merged.
I want to test it out locally to see if it works on my machine (tm), then I guess we can try merging!
I can confirm that local/install_deps.bash works with the updated pipenv. I'll see about updating the version used on Mac too.
On Mac local/Brewfile is used to install pipenv using homebrew, with no version specification.
I think this is good to merge!
Friendly ping!