It would be helpful if Shortcuts could also be added to the App Portal, to allow users to manage them and re-download to device if accidentally removed.