Windows 10 1903 now has a variable refresh rate option