The configuration patch disabling password changes mentioned by @taavi in T363125: sustainability of wikitech.wikimedia.org has been merged. A related problem now appears: what URL is a person expected to use to change their Developer account password?
The page I see as an authenticated user does not have an obvious link for changing my account password:
There is a https://idm.wikimedia.org/wikimedia/password/ route that can be found on https://idp.wikimedia.org/login where it is labeled "Forgot your password?". If you visit this URL while authenticated to Bitu you will not get the password recovery form; instead you will be told "You're already signed in.".
Is it currently only possible to change your Developer account password by logging out of Bitu and idp.wikimedia.org and then using the password recovery form at https://idm.wikimedia.org/wikimedia/password/?