[Done, though please remember to send such requests to ferret-request,
 not to ferret-list!  BIG]
[Posted in FML issue 1030]