I personally think the solution to this bug should be to offer a few options right after you do the device select screen. They should be preselected depending on the device you are using.
(1) Randomly chosen PIN number that you enter on the device (Good for keyboards)
(2) Preselected common PIN number (Typically 0000 or 1234, show in the UI)
(3) Enter a PIN number
I personally think the solution to this bug should be to offer a few options right after you do the device select screen. They should be preselected depending on the device you are using.
(1) Randomly chosen PIN number that you enter on the device (Good for keyboards)
(2) Preselected common PIN number (Typically 0000 or 1234, show in the UI)
(3) Enter a PIN number