In commit e85fbb2, as part of removing non-libpq code, I removed the code
that determined the username of the currently logged-in user, and send it
to the server during authentication. However, I accidentally also removed
the code that passed any explicitly-given username to the server. Oops.