jargon 4.0.2 for idrop release