Microsoft Windows 11’s best productivity feature may be a focus timer with Spotify Napier Lopez 4 years ago