Removed v42.0 in public with mike 2.0.0

public/v42.0/stylesheets/extra.css

-.md-grid {
-  /* max-width: initial;
-  max-width: 1024px; */
-}
-
-.md-nav[data-md-level="2"] > .md-nav__list {
-  margin-left: 1em;
-  border-left: 1px dotted var(--md-line-accent-fg-color--tr);
-  padding-left: 0.5em;
-}
-
-[data-md-color-scheme="oneM2M"] {
-  --md-primary-fg-color:        #b42025;
-  --md-primary-fg-color--light: #ECB7B7;
-  --md-primary-fg-color--dark:  #90030C;
-  --md-typeset-a-color:         #b42025;
-  --md-accent-fg-color:  		#005480;
-  --md-line-accent-fg-color--tr:#40404080;
-}
-

public/versions.json

 [
-  {
-    "version": "v42.0",
-    "title": "v42.0",
-    "aliases": [
-      "latestR42",
-      "latest"
-    ]
-  },
   {
     "version": "v41.0",
     "title": "v41.0",