Update the dev-manual