[feature request] Discard extensions when installing software through a repository

[HamletDuFromage]

Hi, It appears that when installing a .ipa through an added repo, it's not possible to discard app extensions whereas it can be done when manually selecting a .ipa through the file manager. This is unfortunate because of the 10 app ID limit.

Could that feature be added? Is there something I'm missing?

Thank you