That's super nice!
However it seems that it does not have an HDMI port.
I was looking at this monitor, a Philips 278E1A ( https://www.usa.philips.com/c-p/278E1A_27/4k-ultra-hd-lcd-monitor), it comes with HDMI ports.
By the way, since I know nothing about definition/resolution/4K/refresh rate etc, what do you guys think about that monitor, would it be OK for the Mini? I am trying to contain the budget while keeping in mind what I need it for. It's just for leisure, few hours in the evening mainly for email, typing word documents, paying the bills, reading the news, browsing the internet and of course reading the forum. Maybe a movie from time to time. The reviews are quite good, available at $250 on Amazon, it's a 4K with a 60Hz refresh rate, if relevant.

