No one remembers the GuruPlug, or better yet - the GuruPlug Server Plus,
When RPi 1 just came out this little gadget ran x86 Linux (!) and had hdmi out that could handle 1080p video, a feat that only RPi 4 can repeat.
P.S. if anyone wants to tinker with that ecosystem, there's still quite a number of people dedicated to packaging up Debian for them, and if you're okay with some soldering to get UART access, you can get a brand new $18 Dell Kace M300 to try out. in a lot of ways, I still prefer them to any newer single-board computers, despite my pretty significant collection at this point.