Launcher: yet another rewording

All of this really is for debugging why our GitHub hooks do not
trigger builds any longer.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>