I did install fedora 31 (beta) on a raspberry pi 3b which I still have. Would it be similar process? where you dump an image onto a sd card with a command line tool? (arm-image-installer) Or would I just create a bootable usb disk with the aarch64 iso file? At first I guess I'd want to use an external drive to hold fedora so as to not mess up the pre-install debian until I know what I'm doing.