Filter for former members

One-sentence description

Apply filter on former members in the backend user list.

Motivation

For the alumni committee, but perhaps in the future also for other parties and/or occasions, this would be a nice feature to easily reach our former members. In case of the alumni committee: We want to email them with invitations for our events.

Desired functionality

In the backend, under users, I want to be able to apply a filter on former members. Currently this is only possible for members, benefactors and honorary members. After I applied the filter on the users I want to export their mailadresses. I haven't seen this option under 'desired action'. Should I make a new issue for this, or is there another way to achieve this?