patch applied (cabal): Document the fact that --user now changes the default --prefix