Ah, my interpretation of that thread is that HTML5 would be an option a year ago, and it was. We have an HTML5 player, it just doesn’t work in desktop browsers other than Safari on Mac.
Work is being done to increase the number of platforms our HTML5 player supports, but it’s a lot of effort and I have no ETA.