for me, gmail.com has been redirecting to mail.google.com/mail for a long time...