Move tools out of the header into the tool place

gadget/gadget_cribjs_header.html

@@ -53,9 +53,7 @@
         <div class="collapse navbar-collapse">
           <ul class="nav navbar-nav">
             <li><a class="url_list" href="#page=url_list">Editor</a></li>
-            <li><a class="save_load" href="#page=save_load">Export/Import</a></li>
             <li><a class="tools" href="#page=tools">Tools</a></li>
-            <li><a class="mass_remove" href="#page=mass_remove">Remove</a></li>
           </ul>
           <ul class="nav navbar-nav navbar-right">
             <li><li><a class="rotate loader" style="font-size: xx-large;">🌀</a></li>

gadget/gadget_cribjs_header.js

@@ -79,7 +79,7 @@
     })
     .declareMethod('render', function (options) {
       var gadget = this,
-        page_list = ["cribjs_home", "url_list", "save_load", "tools", "mass_remove"],
+        page_list = ["cribjs_home", "url_list", "tools"],
         promise_list = [];
       if (gadget.stats.loaded) {
         gadget.props.element.querySelector(".loader").style.display = "none";

gadget/gadget_cribjs_page_tools.html

@@ -21,6 +21,8 @@
         <li><a class="mass_remove" href="#page=mass_remove">Remove</a> uncessary URLs</li>
         <li><a class="select_site" href="#page=select_site">Select Site to Edit</a></li>
         <li><a class="grep" href="#page=grep">Grep</a> among js and html files</li>
+        <li><a class="save_load" href="#page=save_load">Import and Export</a> Data. You can even share it with WebTorrent.</li>
+        <li><a class="crib_loader" href="#page=crib_loader">Load</a> your own crib.</li>
       </ul>
     </div>
   </body>

gadget/gadget_cribjs_page_tools.js

@@ -22,7 +22,8 @@
     .declareAcquiredMethod("getUrlFor", "getUrlFor")
     .declareMethod('render', function (options) {
       var gadget = this,
-        page_list = ["select_site", "jslint", "mass_remove", "grep"],
+        page_list = ["select_site", "jslint", "mass_remove", "grep",
+                    "save_load", "crib_loader"],
         promise_list = [];
 
       page_list.forEach(function (page) {