@Joris Interesting attack vector if true π (although probably just someone making something up because a guest changed the input source and no one could subsequently work out how to change it back π)
@crablab Yeah, I was sceptical but I have seen stranger things. Hdmi is one typical port where the functions have grown massively and I can imagine the security hasn't caught up