Well... gave up on this, and now trying to download the HTML5 Video Player and came back to my original post with the original problem. I did accomplish the download, but boy oh boy. What a bit of a mess this all remains. I have to say the best advice I received was to log in and out multiple times, and clear the cache. THEN look below on the right bottom for the hidden download button.
Or at least I think that's what worked.
