minibar: recording old configuration changes

src/runtime/javascript/minibar/feedback.cgi

@@ -1,6 +1,6 @@
 #!/bin/bash
 
-bin=../bin
+bin=bin
 AUTOHEADER=no
 . $bin/cgistart.sh
 

src/runtime/javascript/minibar/minibar.html

@@ -54,7 +54,7 @@ var minibar_options= {
   show_trees: true,
   show_grouped_translations: false,
   default_source_language: "Eng",
-//feedback_url: "feedback.html",
+  feedback_url: "feedback.html",
   try_google: true
 }
 var minibar=new Minibar(server,minibar_options,"minibar");