Docs: final revisions for developer guide

These are Jay's final revisions for the dev guide.