"Friends in this server" display in discord servers

just an option in the server info drop-down menu where the app indexes through your friends list and shows the friends that are in the server you're checking inside of (to avoid having to look through all your friends' mutual servers

there would also be an option to hide yourself in this menu, of course.