Post-release updates to Dev Guide