1.0.39.9: improvements to the manual