Over the last few months I have noticed the tag for “short” on TMDB is being replaced by “short film”.
Trakt only adds the genre “short” if the tag “short” is on the TMDB pages. I think the tag “short film” or “short movie” should also be reflected in the “short” genre.