[tor-commits] [tor/master] Rename networkstatus_dl_interval() -> networkstatus_dl_check_interval()