MD5 (foiltex.dtx) = 52be74b74f9bd3a7c14b64abe013ff0b
MD5 (foiltex.ins) = a3a0a5fd301af99b54289db83a881982