> Fortunately, this is not correct. The increase is only about 13% in
> size (110kByte -> 126kByte); see attachment.
Note that I've found some typos in one of the scripts after generating
these hyphenation patterns, so they are not fully valid, but you get
the idea.
Werner