sadly does not work because they are not encoded well. So just use the following line to get the URLs and download them by hand. Substitute the page URL as needed.
curl -s http://fabiensanglard.net/duke3d/build_engine_internals.php | grep -Eo "http.\.mov"
This will fetch those:
curl -s http://fabiensanglard.net/duke3d/build_engine_internals.php | grep -Eo "http.*\.mov" |sed -e 's/\.mov/-desktop.m4v/' | xargs -n1 curl -O
.mov is acting like some kind of meta-file to point quicktime in the right direction. The only string in the file worth noting is the name of the actual video file with the .m4v extension. Maybe it's storing an IP address?
Honestly I'd rather not go through all of this, if he had used a modern standard I would of being able to scrub through the file locally.
Or if you'd rather watch outside the browser, see instructions above.