All of the documentation that came with the PS3 is archived on Sony's site here. You're welcome to look through it and try to find any mention of OtherOS. It wasn't on the packaging either, AFAIK. It isn't on my launch 60GB's box or my 80GB 3rd gen Fat unit's box. The simple fact is that Sony did not advertise this feature. They provided basic support for its use and that is it.