Are the VP9 versions downloadable?

Are the VP9 versions of the videos downloadable? It'd be interesting to see differences in quality especially at 2160p where h264 versions are highly compressed