Cheapest HDMI splitters are ~$10 and compressing capture cards are ~$5, it's not hard or expensive anymore to capture display contents at emergency or illustrative use quality if these weren't VM screenshots or taken through OS feature.