irrecord: could not open /dev/lirc0
irrecord: default_init(): Device or resource busy
irrecord: could not init hardware (lircd running ? → close it, check permissions)"
I thinks this info should be more easy to find, like a link from the Vero 4K quickstart guide to a Wikipage or something. Also what port on the backside is for the IR extender… (the one closest to the edge)