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