I bet my $5 they already knew about that exploit, but no one made "official" report it, so they can turn the blind eye.
"PS5 running Linux" was hot news months ago.