Ja, das wäre in der Tat eine sehr brauchbare Lösung!
So etwas sollte auch bei den wilden Amazonen oder in der elektronischen Bucht zu finden sein. Danke für den Tip!
Nachtrag:
Ich hatte auch schon daran gedacht, einen alten Taschenandroiden für diesen Zweck zu verwenden oder auszuschlachten. Aber leider kriegt man ein HDMI-Signal nicht so einfach in einen USB-Port.
Soweit ich weiß, ist dafür ein Video-Konverter nötig, und dann geht das auch nur mit neueren Geräten, die über USB-C verfügen. Mein altes Smasng S3, das immer noch als Ersatz-Gerät in der Schublase liegt, wäre damit leider aus dem Spiel.