--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/docs/details-filter.rst	Fri May 08 23:54:06 2026 +0200
@@ -0,0 +1,31 @@
+.. -*- coding: utf-8; indent-tabs-mode: nil; -*-
+
+.. _details-filter:
+
+********
+ Filter
+********
+
+ErrorToGenericErrorTokenFilter
+==============================
+
+:Name: errortogenericerror
+:Filter Options: none
+
+Replace all :py:class:`pygments.token.Token.Error` tokens in a stream by
+:py:class:`pygments.token.Token.Generic.Error` tokens.
+
+
+TokenReplaceFilter
+==================
+
+:Name: tokenreplace
+:Required Filter Options:
+   **token_from**
+     **Type:** :py:class:`str` or :py:class:`pygments.token.Token`
+
+   **token_to**
+     **Type:** :py:class:`str` or :py:class:`pygments.token.Token`
+
+Replace all token types given in `token_from` by the token type given
+in `token_to`.