Update manual for 0.9.