Почему нет gpg-подписанных хэшей для mini.iso

Ни один из файлов с подписями gpg, которые я нашел, содержащие хэши для различных файлов iso uubuntu, содержит хэш для файлов mini.iso. Единственные хэши для файлов mini.iso, которые я нашел, - это простые md5sums на той же странице со ссылками на сами файлы: https://help.ubuntu.com/community/Installation/MinimalCD

Эта страница не менее https. Насколько я могу судить, фактические файлы даже не имеют такой минимальной защиты. На самом деле, ребята, я надеюсь, что вы укажете мне на страницу, которую я пропускаю с gpg-подписанными хэшами, желательно тот, который принимает https. Потому что, если нет, это действительно довольно хромой в конце 2016 года, разве вы не думаете? Несколько лет назад было показано, что Md5sums небезопасны, и даже если мы проигнорируем это, почему они исключены из списков, подписанных gpg? Пожалуйста, скажите мне, что я что-то пропускаю.