Yes, non-destructive modification was the idea. He removed the RF modulator and put the miniHDMI board in its place. Required drilling into the Atari PCB though to secure the tiny board in its place.
P.S.: There's already a hole in the right side case from back in the time, which is now used for stereo output and switches related to that.