I was leaving this around as a reminder for us to retest this issue once we actually get around to updating the Video Player for the current framework. Since as far as I know we have no self-contained method of checking that this issue is verified, we only have a plain assertion that "the issue is fixed in current jQuery UI" until we have verified it ourselves by having a working Video Player implementation. I will update the commenting here though.