Was it definitely Jake's version of Holiday Bonus that was cracked? I would have thought the portal versions would be the ones to get cracked, as some of the portal DRM is a lot less secure than Armadillo.
You may be right. Although the torrent does state it was cracked from greyaliengames. There was also another version released with a reflexive crack.
There were others also, like Holiday Gift ect.. but i don't think Grey made that one.