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.