When both a [database] user and username are configured and don't match, prefer the former and warn about the discrepancy. This shouldn't affect any existing installations since make-connection-pool already prefers the user, and it avoids any ambiguity, including potential trouble when choosing a default migrator-username.