That requirement changed: Windows 10 allowed any PIN in previous releases.