Add section explaining resources and metrics to the manual (#1819)

1 files changed, 1 insertions, 1 deletions

diff --git a/website/manual.html b/website/manual.html
index 0ce361838..ec2b55421 100644
--- a/website/manual.html
+++ b/website/manual.html
@@ -25,7 +25,7 @@
           const response = await fetch(url);
           const content = await response.text();
 
-          let converter = new showdown.Converter({ extensions: ["toc"] });
+          let converter = new showdown.Converter({ extensions: ["toc"], tables: true });
           let html = converter.makeHtml(content);
 
           const manual = document.getElementById("manual");