> Did you experience this also for other extension manuals? If not, I have > to check what could be wrong at the IRRE Tutorial. I did a quick check on one or two different ext manuals, which seem to be al right. Peter Appendum: yesterday, the irre_tutorial man worked like a charme…