We parse the additional HTML5 section too, the only place where the
WebM formats are listed. If the URL contains "&html5=True", the WebM
formats are preferred, when available.