Revert "Revision of the Integration section of Dev Guide."

This reverts commit 018a267fc2148575de680810cb444f93e8b05342.