I figured it out. Doesn’t help anyone else though, but I found the password in my password manager; it’s just the IP changed since I hadn’t set it to a fixed value yet, and the password was saved for the old IP.
Next time, if you have console access, you can use ipmitool to check the config and, eventually, create a new user with a known password or, In a worst case scenario, to factory reset it …