I'm having trouble logging into wordpress.org. I requested a password reset and was sent a new password which allowed me to log in, so I change the auto-password to one I could remember.
I can now log in to wordpress.org/support/ using my own password, but logging in to wordpress.org/extend/plugins/ requires me to use the auto-password I was sent. Also logging in to either URL logs me out of the other one.
I am mightily confused, and worried I've messed up my login to SVN for my plugins. Is this a known bug?