since it only happened once, we suspect it was probably just a timeout or somesuch, [@mahz].

one big question for new tags:
Do you want fandom-specific suggestions (Zombieland, star wars, star trek)?

as well as "or" and "and", it would be useful to get "not" filters.