...

*** tex.ch.org 2006-12-19 02:35:49.000000000 +0100 --- tex.ch 2007-03-07 17:08:49.000000000 +0100

Note that tex.ch has been changed since 2006-12-19. Therefore you will need some manual work, sorry.

It was an unnecessary fear. I've checked that the patch is still ok. Best regards, Akira