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.