Usually they just disable all the hdmi ports except for cable and don’t bother to lock the final hdmi port to a specific device. So long as you have a long hdmi cable and nimble hands, it’s not too much effort to just pull out the cable hdmi and put in your own.
The second half of the article talks about how the apps get around this permission requirement.