Towards/related to #640
It's that time again: Fedora 31 hits EOL on 2020-11-24: https://www.qubes-os.org/news/2020/10/27/fedora-31-approaching-eol/ which gives us about a month to migrate installs over to F32.
Let's aim to do it after the upcoming 0.5.0 release (#624).