I was interested in this board because of the HDMI input.
However, I couldn't find anyone reviewing/testing that (last searched a few weeks ago).
I have another board (Khadas Vim4) with HDMI input. But the HDMI input only recently got support in their vendor provided Linux image and is finnicky. In the Armbian image I couldn't get it to work for more than a few frames of input video (tried with gstreamer and ffmpeg).
Additionally, I couldn't find any information on HDMI input in Linux (seems like everyone uses USB capture cards that use uvc with v4l2).