Minor adjustment to text. Updated TODO to make it clearer that it's
unlikely we'll be able to tell a priori how much time an erase operation
will take.