Deployed 52bfb51 to dev with MkDocs 1.6.1 and mike 1.1.2

Author: ArduinoBot

dev/index.html

@@ -261,13 +261,6 @@
     Using the gRPC interface
   </a>
 
-</li>
-      
-        <li class="md-nav__item">
-  <a href="#versioning-and-backward-compatibility-policy" class="md-nav__link">
-    Versioning and backward compatibility policy
-  </a>
-  
 </li>
 
     </ul>
@@ -1379,13 +1372,6 @@
     Using the gRPC interface
   </a>
 
-</li>
-      
-        <li class="md-nav__item">
-  <a href="#versioning-and-backward-compatibility-policy" class="md-nav__link">
-    Versioning and backward compatibility policy
-  </a>
-  
 </li>
 
     </ul>
@@ -1418,9 +1404,6 @@ <h2 id="getting-started">Getting started<a class="headerlink" href="#getting-sta
 <h2 id="using-the-grpc-interface">Using the gRPC interface<a class="headerlink" href="#using-the-grpc-interface" title="Permanent link">&para;</a></h2>
 <p>The <a href="https://github.com/arduino/arduino-cli/blob/master/rpc/internal/client_example">client_example</a> folder contains a sample program that shows how to use the gRPC interface of the CLI. Available
 services and messages are detailed in the <a href="rpc/commands/">gRPC reference</a> pages.</p>
-<h2 id="versioning-and-backward-compatibility-policy">Versioning and backward compatibility policy<a class="headerlink" href="#versioning-and-backward-compatibility-policy" title="Permanent link">&para;</a></h2>
-<p>This software is currently under active development: anything can change at any time, API and UI must be considered
-unstable until we release version 1.0.0. For more information see our <a href="versioning/">versioning and backward compatibility</a> policy.</p>