@ignaloidas @quad I need to be able to migrate between devices / OSes / implementations.
Until there's a common API for rotating credentials that all RPs implement, the only realistic way to do that is to export the credentials from the old device and import them to the new one.