¿Era real el infame código de desnudos de Tomb Raider?