Update manual to reflect 0.10 API