Thanks for troubleshooting this
I don't think this is documented anywhere, perhaps it should be.
I think that's what's implied by
To update WHDLoad: simply delete the directory or the HDF file
but I agree is not that intuitive and most of the time users will start the emulator without the BIOS files, so the document may need some details.