With LinuxJedi's CPLD version of the RGBtoHDMI converter, and precision sockets and pins as connection to the Raspberry Pi Zero, the solution is flat enough so the shielding can be closed again.
This print is a small cover that is just put to the top of the Raspberry Pi Zero, and keeps it from accidentally touching the shielding, causing a shortcut.
The author marked this model as their own original creation.