Merge pull request #526 from yuzibo/drop-obsolete-section Remove obsolete improperly reduced borrows example