For a long time I have used a PIN code to sign in on my computers but now it is going wrong. First, I stopped being offered the PIN option and have had to use my PASSWORD. After this had persisted for about a week I tried to refresh my PIN in the hope it would work again, but in Settings I found that the PIN page would not open. Clicking the button has no effect or the timer dots rotate endlessly. I have shut down / restarted and I have tried sfc/scannow and DISM without success.
How do I get the PIN option back?