Update manual; remove 0.31 installer options; Add 0.5 version texts