o Directory authority changes:
    - Change IP address for gabelmoo (v3 directory authority).