https://gearupwindows.com/fix-pin-to-start-menu-option-is-missing-in-windows-10/