Hi, I suggest it might be useful a color code:
Using right mouse button with a player of the main lobby list, that could be assigned a color to their nicks (maybe with 3-5 colors could be enough: red for not friendly players, yellow for all-inners, green for friends, etc...).
Another idea could be link the "tips" (fast notes) that it is possible to write for every player for they appear too when you select a player of main list.
I sugget this idea because I don't know if it could be easiest implement a new filter, a new menu option, or the color-idea.
Thanks, see you at games.
I'm happy: Today I have finished 10th, first time in 1 year

(4th in 2), fullmoon, too wild

, little advice: if you have JJJ at hand 1 then fold

your opponent could have flush Ace with last card

, rookie wolf