I have now tried using OrangeFox with the help of their wiki, formatted internal storage, but afterwards there was no way to mount internal storage! Repairing or formatting data partition did not work, adb sideload does not work with this ROM apparently. And so there was no way to flash the ROM...