The filter was eventually added to the feed details screen. Note also the stars beside each item. This allowed the user to mark it as a favourite, which would make it available in a dedicated "Favourites" section. This was useful for marking videos to download later.
