Update to JSAV 0.6.0-85; polish the manual