@dos would I be correct in summarizing this as “the Librem 5 supports HDMI out, but usually you don’t want that”