It would be great to have the ability to export a list of member names and email addresses (or if that's not possible, just email addresses) offline to an excel file or the like.

I don't see the need. Manually doing it is good enough for the few people who would want this.

if you have access to PHPMyAdmin you can use this SQL query:

SELECT `name`, `email` FROM `ibf_members`

and export it to CSV if you wish

if you have access to PHPMyAdmin you can use this SQL query:

SELECT `name`, `email` FROM `ibf_members`

and export it to CSV if you wish

I was just about to suggest this. While I've built similar tools in the past that work, phpmyadmin already has this capability and it's rather polished.