HTTP_mirror_pool.md

-**Ticket**: [[!tails_ticket 7161]]
+**Ticket**: tails/tails#7161
+
+
+[[_TOC_]]
 
-[[!toc levels=3]]
 
 # The plan
 
-See the corresponding [[design document|contribute/design/mirrors]].
+See the corresponding [design document](https://tails.boum.org/contribute/design/mirrors).
 
 <a id="speed"></a>
 
 # Speed
 
-This is mainly for [[!tails_ticket 10295]]. We keep this information
+This is mainly for tails/tails#10295. We keep this information
 around because it provides potentially useful data wrt. the reasons
 why we picked some mirrors, but not others, for the fallback DNS pool.
 
@@ -154,7 +156,7 @@ let's not include them in the fallback DNS pool:
 
 # Initial research
 
-See [[HTTP_mirror_pool/archive]].
+See [archive](HTTP_mirror_pool/archive).
 
 <a id="HTTPS"></a>
 
@@ -162,7 +164,7 @@ See [[HTTP_mirror_pool/archive]].
 
 We've already switched all our mirrors in the Javascript mirror-pool, handled
 by mirror-pool-dispatcher to HTTPS, but not all of our fallback mirrors
-([[!tails_ticket 12833]]).
+(tails/tails#12833).
 
 ## Current problem space
 
@@ -237,3 +239,4 @@ process doc)
 * merge the doc branch for mirror operators into tails.git
 * merge the updated design doc branch into tails.git
 * merge the branch into puppet-tails.git
+