Or possibly it was someone from the community who re-dumped them into more standard SQL