Update the manual for version 0.12.0