Amusingly, this post was just linked in another post which may also need to use the installer to fix a completely unrelated mess (that was more obviously caused by the user in that case): Broken bootloader - #3 by waffle8946
I’m sure the wiki has something similar somewhere, but yeah, I’m less and less happy with the quality of information on either wiki, so fair enough.