Bring the dev docs up to date.

Thanks a lot!