update tools, fix many issues

hugo.toml

@@ -1,22 +1,34 @@
-baseURL = 'https://example.org/'
+baseURL = 'https://fmtools.fyi/'
 languageCode = 'en-us'
 title = 'Formal Methods Tools'
+enableEmoji = true
 theme = 'fmtools'
 
 [menus]
   main = [
-    { name = 'Home', url = '/', weight = 1 },
+    # { name = 'Home', url = '/', weight = 1 },
     { name = 'Tools', url = '/tools/', weight = 2 },
-    { name = 'Taxonomies', url = '/taxonomies/', weight = 3 },
+    # { name = 'Benchmarks', url = '/benchmarks/', weight = 2 },
+    { name = 'Data', url = '/taxonomies/', weight = 3 },
     { name = 'About', url = '/about/', weight = 4 }
   ]
 
 [taxonomies]
-  purpose = 'purposes'
-  technique = 'techniques'
+  application = 'applications'
   domain = 'domains'
-  language = 'languages'
-  system = 'systems'
-  interaction = 'interactions'
-  formalism = 'formalisms'
-  developer = 'developers'
+  developer = 'developers'
+  license = 'licenses'
+  interface = 'interfaces'
+  input = 'inputs'
+  technique = 'techniques'
+  maintenance = 'maintenance'
+
+  # purpose = 'purposes'
+  # language = 'languages'
+  # system = 'systems'
+  # interaction = 'interactions'
+  # # formalism = 'formalisms'
+  # testThing = 'test ing'
+
+[params]
+  banner = ":construction: This site is a work in progress. Don't be shy to submit an [issue](https://gitmoss.fyi/fmtools/content/issues/new/choose), or [fork it](https://gitmoss.fyi/fmtools/content/fork) yourself :construction:"

static/browserconfig.xml

@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="utf-8"?>
+<browserconfig><msapplication><tile><square70x70logo src="/ms-icon-70x70.png"/><square150x150logo src="/ms-icon-150x150.png"/><square310x310logo src="/ms-icon-310x310.png"/><TileColor>#ffffff</TileColor></tile></msapplication></browserconfig>

static/manifest.json

@@ -0,0 +1,41 @@
+{
+ "name": "App",
+ "icons": [
+  {
+   "src": "\/android-icon-36x36.png",
+   "sizes": "36x36",
+   "type": "image\/png",
+   "density": "0.75"
+  },
+  {
+   "src": "\/android-icon-48x48.png",
+   "sizes": "48x48",
+   "type": "image\/png",
+   "density": "1.0"
+  },
+  {
+   "src": "\/android-icon-72x72.png",
+   "sizes": "72x72",
+   "type": "image\/png",
+   "density": "1.5"
+  },
+  {
+   "src": "\/android-icon-96x96.png",
+   "sizes": "96x96",
+   "type": "image\/png",
+   "density": "2.0"
+  },
+  {
+   "src": "\/android-icon-144x144.png",
+   "sizes": "144x144",
+   "type": "image\/png",
+   "density": "3.0"
+  },
+  {
+   "src": "\/android-icon-192x192.png",
+   "sizes": "192x192",
+   "type": "image\/png",
+   "density": "4.0"
+  }
+ ]
+}