diff --git a/pages/common/mlr.md b/pages/common/mlr.md
index e571955583..30a35db908 100644
--- a/pages/common/mlr.md
+++ b/pages/common/mlr.md
@@ -26,3 +26,7 @@
 - Receive JSON and format the output as vertical JSON:
 
 `echo '{"hello":"world", "foo":"bar"}' | mlr --ijson --ojson --jvstack cat`
+
+- Filter lines of a compressed CSV file treating numbers as strings:
+
+`mlr --prepipe 'gunzip' --csv filter -S '${{fieldName}} =~ "{{regexp}}"' {{example.csv.gz}}`