I'm trying to connect to https://thanos.wikimedia.org/.  It's asking for my "Wikimedia Developer Username" and password, but I'm not sure which credentials it wants.  Is this the same username I use to log into my shell account on dev.tools.wmflabs.org?  If so, I have no clue what my password is, since I only ever use ssh key authentication for that.