Now that Vrui has a separate VR compositor, we can do all kinds of tricks to use the pre-distortion image rendered to the headset as a practical way to show the VR environment to secondary viewers on a regular screen with close to zero rendering overhead. So let's do it!