Unmangling paths set by direnv on Windows 11

direnv works fine on Windows 11, but if an .envrc tries to set the PATH, the result will be a path in Windows format, not Unix format.1 Instead of adding eval $(direnv hook bash) to your .bashrc,...