Export of users, including hashed passwords?

When I have stored user credentials in the Auth0 database connection, I understand that it is possible to export user information, via the import/export extension. But the exported data does not include the hashed & salted password?

What if at some point, it is decided to move away from Auth0? What is the value of the exported data, if we can’t validate the user credentials?

Is the only solution to use a “custom database connection” so that we have full control of the credentials?

That capability is not available through the methods you mentioned for security reasons. The exported related functionality that you mention still addresses some other needs where password hashes are not required so they are available and meant to be applied in those situations.

If you have a situation where you decide to move out of Auth0 you can request a export of data that includes the password hashes. This is documented here.