Do we want to encourage using scopes to contain `RefCell` borrows, or is it better to encourage the use of `drop()` on the borrowed `Ref`? We need scopes for `&mut`, but `drop()` is sufficient for `Ref`.