Just installed the latest firmware update for the Flipper, and I noticed that attempting to lock the device with a PIN will cause it to freeze and require a normal reboot to get it going again, after which it will register as properly PIN locked with the correct PIN sequence, and can be unlocked without issue. Locking it without a PIN works perfectly fine.
Nothing seriously debilitating, but just wanted to bring it to the attention of relevant parties.