I'm trying to connect to https://thanos.wikimedia.org/ 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 http://dev.tools.wmflabs.org/? If so, I have no clue what my password is, since I only ever use ssh key authentication for that.