Merge branch 'develop'

rjrudin · rjrudin · commit cceb97901c97 · 2023-08-10T17:17:04.000-04:00
diff --git a/docs/getting-started.md b/docs/getting-started.md
@@ -2,7 +2,6 @@
 layout: default
 title: Getting started
 nav_order: 2
-[comment]: "/docs" is used to preserve links to previous set of docs.
 permalink: /docs
 ---
 
