Different filters

Nice tool! My use cases would need filters for

• user-id -> all elements edited by this set of userids
• tags -> all elements having had one of the following TagKeys/Tags in their history

Is there a chance you could implement that also?