This is my sloppy collection of plugins for Shelter!
https://ran-mewo.github.io/shelter-plugins/favorite-media/
This plugin allows you to favorite images and videos which are then shown in the GIF picker.