> If anyone here has an inroad to whomever administers this mailing list, > an intervention would be most welcome. Richard? Cheers, Henk ten Have (a typical "Calling a Richard"...;)