My problem with that solution is the available HDMI splitters are all much too large. Adding a HDMI out port to the case will take a lot less space. I'm using these with 20cm ribbon cables inside the casing and they are quite small.

https://www.adafruit.com/product/3556