Depends on the context of the use, in my original post I noted if you were using it as download link. If you're providing a download link and want it to be accessible by the most people in the world and the most practical as far as file size goes then WMV is by far the best choice. Simply put there is no other codec out there that will simply play on so many machines without the user having to do anything else. WMV9 can be played all the way back to something like the 6.4 player which can be installed on win 95.
Do you know any other codec that compresses as well as WMV and can be played on 90% of the machines produced in the last 12 years out of the box?
If you're a technical site such as the one you have described then you have some more options but if you're trying to deliver a file download to Joe six pack chances are if he can't play it when he clicks the file he's going to lose interest immediately.
The other choice and much more compatible across different platforms is MPEG1 but that requires 4X to 5X the bitrate so it's not very practical.
If you want to embed video in a page then certainly Flash is the choice.
You need to use the right tool for the job.