[ringer]

In addition, it would be nice to create a separate RSS feed for the shorts and of course remove them from the original. In the early days it was easy to filter out because of the #short tag, but nowadays it's not mandatory in the title.