Sorry for going slightly OT, but how do you set the FIDO2 PIN and list credentials?
I haven’t found info on this in the docs, except using the Python CLI, but it seems that didn’t work for me, and the related thread I created didn’t yield a response so far.