Cabal install, executables missing

UPDATE - FIXED

Can now do
cardan-node --update
cardano-cli --update

because they’re in ~/.local/bin

I really think running
cabal clean
cabal update
made all the difference. May try and open a PR on the docs or the Stake Pool School

Is a ~/.cabal/config file needed? That’s what cabal update gets you:
https://cabal.readthedocs.io/en/3.4/installing-packages.html#configuration

Thanks to all who suggested this!