o Minor features
    - When a router changes IP or port, authorities now launch a new
      reachability test for it.  (Implements ticket 1899)