Jong Sun's email address has been bouncing for some time, efforts to
notify him have also bounced, so I am deleting that address from the
list. If anyone knows him and can update his address please let me know
about it.