Hallo... just a short question: Where can I find the latest version of the pdfTeX user manual written by Han The Thanh, Sebastian Rahtz and Hans Hagen? Do I have to download 20 MB of MikTeX from CTAN? Gerolf