@Steven – weird! Not that it matters, but this was the reference that I stumbled on in searching… https://www.freelancer.com/projects/PHP-Script-Install/Export-Feature-Added-Connections.html
In any event, I should have been more explicit – phpmyadmin is not a good option for me, as I need an end user to be able to grab the updated email list monthly. Moreover, phpmyadmin is not enabled by default on any of my hosts as it is just one more vector to worry about, but that is more of a personal issue.
C’est la vie, I was hoping for a visual/simple solution, but the php export script you shared will likely do the trick for me! FWIW I do think that this is a useful feature to have… a good rule of thumb IMHO is if you allow import, you ought to allow export!