← Feed @kdieter@machteburch.social 2026-08-11 23:47 UTC @amoroso@oldbytes.space pdfgrep, pdftotxt and even plain grep can work miracles Replies (0) No replies.