Android app to remotely control music playing on a Raspberry Pi, or any other Linux computer.