From 036190fc3ea8d0e3e5751486d8b7c9732c9181ea Mon Sep 17 00:00:00 2001
From: Fabian Keil <fk@fabiankeil.de>
Date: Mon, 18 Jan 2021 15:08:17 +0100
Subject: [PATCH] Mention the github filter in the user-manual

---
 doc/source/user-manual.sgml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/source/user-manual.sgml b/doc/source/user-manual.sgml
index e82ce10e..4157b308 100644
--- a/doc/source/user-manual.sgml
+++ b/doc/source/user-manual.sgml
@@ -4298,6 +4298,10 @@ problem-host.example.com</screen>
     <anchor id="filter-no-ping">
    </para>
     <screen>+filter{no-ping}             # Removes non-standard ping attributes in &lt;a&gt; and &lt;area&gt; tags.</screen>
+   <para>
+    <anchor id="filter-github">
+   </para>
+    <screen>+filter{github}              # Removes the annoying "Sign-Up" banner and the Cookie disclaimer.</screen>
    <para>
     <anchor id="filter-google">
    </para>
-- 
2.39.2