* Frank Küster:
> Florian, are you on a general search for non-free docs, and looking at
> more files in tetex-doc? Then please also send a Debbugs-Cc to
> 218105@bugs.debian.org ("Woeful copyright file").
I'm aware of that bug report, but think of it as a separate matter
(especially the tex.web status and how this file can be used in GPLed
programs is completely non-obvious to me).