Removing the operation.pre_time field.
It never had any functionality attached to it, and only confuses people...