o Minor features:
    - Shorten links in the tor-exit-notice file. Patch by Christian Kujau.