Thanks for finding it. And wow… Absolutely no suprise that Valve weren’t happy with that. They’ve gone to a lot of trouble to rip off a bunch of different Valve IP, all without permission.