[Bug 2037222] New: [getfedora.org] Fedora IoT download formats are not documented