Thanks Raymond!
Yes, I know that usually that’s the way to change the video quality, and in fact that is how I did change it during all other courses.
But, as I said, I can’t do that here. Since you also can’t change it in some videos, then the cause is I guess in player, not in my browser.