I think there should be a button you can push to hide members both personally and, if you have the permissions to, server-wide. Just like how you can mute someone, and also server mute someone. I think this would be aesthetically useful. If there is a bot on a server, it will obviously show in the member list, but if you could hide it, it wouldn't, which I think would be cool. Or, maybe there could be a way to have a second list called bot list, for example, where it displays bots (or a certain role), and this list could be toggled with the normal member list.