Hi Eli,

Thanks for the super-fast reply. Here is a new version which hopefully
addresses all your comments (and adds a NEWS entry). Does it look
better?

Thanks,
-- 
Joel