Bring the dev docs up to date.