YouTube mirror, mirror on Cockshott's channel
Download links
Because HTML5 doesn't support specifying multiple resolutions in the <video> tag (only <picture> allows that) I have provided download links to alternative encodes below:
MP4: 1080p (57M), 720p (40M), 540p (33M), 360p (28M)
WebM: 1080p (70M), 720p (43M), 540p (32M), 360p (23M)