Donal K. Fellows wrote: [...] Sorry about the double-post; thought that the first message went astray because of using an out-of-date address for this list, but instead, it was due to indigestion in the OGF mail servers... Donal.