'Shorts' option in the hot search

Yes!  I search for shorts frequently, and the current situation is a pain in the rear.  Although people watch much more TV than shorts, I would guess that as many people search for shorts as search for TV episodes by name.

On a related note, I would like to have an option to make titles of shorts searchable when adding films to a list. People who aren't looking for shorts wouldn't have to select that option. But I do sometimes want to add shorts to lists (such as https://www.imdb.com/list/ls072001581/, which consists entirely of shorts), and I would want to have that option available.

There's a bug in the search for IMDb. It does display shorts in the drop down box while searching like it does for movies and tv shows. See below.