Simplify pondering time management (#1899)