Both videos and gifs are currently handled by media players, which is honestly just fine for me.

Hashtags help a lot with discovery, which imo is the correct priority.