**Describe the solution you'd like** pgAdmin allows adding tags to servers. It would be good to have a tree level filter based on tags.