Dev build

build: eee3f2a
branch: dev

Dev build (service 1.6.11): every change on the dev branch, before it goes into the daily release. It can be less finished.
Last commit: Android box: say the app's name, not its package, when it cannot start