I've googled and googled and have tried exporting over half a dozen
times following the instructions on various websites, but I get only
the main contacts. I have 9 "sub-folders", as it were, of contacts
that are missed in the export to csv.

Does anyone know how to get the rest exported?

Thanks. :oD