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?