Could use some looking into. I'll put it into the "things to do" basket. If you find something conclusive, edit verbosely please :-). Anders Torlind
After some brief fact-finding i conclude that you are absolutely correct. I'll change the entry accordingly.