It is possible to manually select some or all contacts and export them.

However, with 10.000 contacts this tends to be buggy (hangs forever) and quite a large export.

When there are groups, a smaller section could be exported. There is currently however no functionality for this.

In my opinion that should not be too complex and would provide a workaround for a number of bugs.