texlogfilter(1) on Linux

The text 01af7b9989d2, as Debian 13 (Trixie) shipped it.

texlogfilter(1) on Linux now