Heeeeey Costas: how do we change the hostname that the control app is looking for? I have way too many RPi to keep track of to leave this one named "raspberrypi"!
