[tor-commits] [tor/master] Rework predicted_ports_prediction_time_remaining() to fix CID 1438153