Feature request: filter multiple users

[chancemon]

Hoping to resurface the idea from this superuser post wherein Hisham considers it. I could not find any other discussion on the idea. It's great that --filter allows multiple options with pipes now, but would strictly require the username to be in the process name. To match that syntax it could be --user="user1|user2|etc". Thanks for your consideration.