This is an old revision of the document!
In order to change your login PIN code, click on the Windows icon and select Settings (the gear icon).
Select Accounts
Select Sign-in options
Select PIN (Windows Hello)
Select the Change PIN button
Click on the option to Include letters and symbols, enter your existing PIN and then create a new PIN and confirm it. Once done, click the OK button.