clarified credentials

tools/util/mturk-manager-frontend.sh

@@ -45,9 +45,11 @@ eval set -- "${FLAGS_ARGV}"
 #
 main() {
   logInfo "Starting the MTurk Manager frontend ($image:$FLAGS_tag) at port $FLAGS_port"
-  logInfo "Log in at http://localhost:8080"
-  logInfo "URL: https://mturk-manager.webis.de/"
-  logInfo "Token: <ask in Discord>"
+  echo "Log in at http://localhost:8080"
+  echo ""
+  echo "Credentials:"
+  echo "URL: https://mturk-manager.webis.de/"
+  echo "Token: <ask in Discord>"
   if groups | grep &>/dev/null '\bdocker\b'; then
     docker run -p $FLAGS_port:$internal_port $image:$FLAGS_tag
   else