Lessons learned maintaining EdgeDeflector for Windows 10