A hdmi connection out mirroring the touch display

To use bigger display and to be able to make nice training videos and at the same time be able to create a great fallback/backup solution if the built in display fails…where you instead could use a mouse and an external display.