The user help does not lauch successfully since switching to GtkUriLauncher.
This avoids gtk#6135 (closed)