[DarkShikari]

No, they used Sorenson H.263, aka "FLV1" (I assume that's what you meant though). SVQ1 was a vector-quantizer codec used by Quicktime in the 90s, and SVQ3 is another Quicktime format which is a ripoff of H.264.