further 0.9.6 manual updates