My copies of Windows Media Player somehow managed to get borked, so that they crashed as soon as I started them. I figured that, because reinstalling codecs and drivers wasn't changing this behaviour, ...