robust_time_syncing.md

@@ -107,7 +107,7 @@ tl;dr:
 
  - If the user chooses autoconfig, then:
 
-   1. We set the clock from the network without using Tor, so Tor can bootstrap. We've decided how we can do that: https://tails.boum.org/contribute/design/Tor_enforcement/#non-tor-traffic.
+   1. We set the clock from the network without using Tor, so Tor can bootstrap. We've decided how we can do that: https://tails.boum.org/contribute/design/Tor_enforcement/#non-tor-traffic. tl;dr: we can connect to http://fedoraproject.org/static/hotspot.txt and use its `Date` HTTP header.
    2. We let Tor bootstrap.
    3. Once Tor has bootstrapped, do a safer time sync with htpdate.