That is not intuitive, but worked - sort of.
I have two accounts, apparently, using the same email address. The reset successfully reset the first, older account (which I only used briefly), but I am not sure how to reset the second account (the one I really want back). The reset only asks for email, not username :(.
FWIW, the desired account was created in 2014, the older account some time before that.