[olgeni]

We recently swapped RPIs with Windows mini-PCs due to xdotool disappearing, and whatever the alternative is called... segfaulting. Keep going like this.