I wonder if it's downloaded after installation, like nonfree codecs in many Linux distros