diff --git a/docs/_includes/nav/options-old.html b/docs/_includes/nav/options-old.html
new file mode 100644
index 00000000..b03d3d07
--- /dev/null
+++ b/docs/_includes/nav/options-old.html
@@ -0,0 +1,55 @@
+
diff --git a/docs/_includes/nav/options.html b/docs/_includes/nav/options.html
index b03d3d07..4c1be4f3 100644
--- a/docs/_includes/nav/options.html
+++ b/docs/_includes/nav/options.html
@@ -1,28 +1,53 @@