Remove a member from a group

I need to remove a user from a group and the docs...

...says to find the member on the Members tab and click remove from there.  Is this the only way to do it?  This group has thousands of users, his user name starts with an "M" and after two minutes of paging down through the infinite scroll I'm only at the beginning of the "B"s.

There must be another way surely?