Comment on Hackers Rig Casino Card-Shuffling Machines for 'Full Control' Cheating (2023)