diff --git a/static/docs/src.html b/static/docs/src.html
index 2eaddce..9a9fdb7 100644
--- a/static/docs/src.html
+++ b/static/docs/src.html
@@ -242,10 +242,12 @@ <h2>Configuration Options</h2>
         <section data-include="lint" data-include-replace="true"></section>
         <section data-include="a11y"></section>
         <section data-include="check-punctuation"></section>
+        <section data-include="informative-dfn"></section>
         <section data-include="local-refs-exist"></section>
         <section data-include="no-captionless-tables"></section>
         <section data-include="no-headingless-sections"></section>
         <section data-include="no-http-props"></section>
+        <section data-include="no-unused-dfns"></section>
         <section data-include="no-unused-vars"></section>
         <section data-include="privsec-section"></section>
         <section data-include="wpt-tests-exist"></section>
@@ -322,6 +324,7 @@ <h2>CSS classes</h2>
       <section data-include="data-export"></section>
       <section data-include="informative"></section>
       <section data-include="issue"></section>
+      <section data-include="lint-ignore"></section>
       <section data-include="no-link-warnings"></section>
       <section data-include="nohighlight"></section>
       <section data-include="nolinks"></section>