Yes, that's the correct setting, but the ExcludeFilesFromDeployment section in mojoPortal.Web.csproj specifically excludes the user.config file from deployment (among a lot of other files and folders). There's a good chance that if you are deploying to both a development and production environment, they will have different user.config files, so that shouldn't be deployed with the compiled code.

Jamie