Please allow PIN unlock in 1P8 Android

FireDragonDoL raises an important feature design question.

Do the requestors of this feature:

(A) require an arbitrary PIN, because perhaps they're trying to keep folks who know their lock screen PIN from getting deeper access to their 1P credentials

or

(B) are satisfied with the lock screen credential (which might be more secure under the hood)? And how many are on Android 11 or higher, meaning the latter could be implemented using Keystore's AUTH_DEVICE_CREDENTIAL, delivering some real security?

My preference:

B, yes (13)