https://jgp.ai/2020/06/23/keep-your-family-updated-using-magicmirror/hdmi-name/
HDMI name