Pages related to mirrors

• What happened to Sourceforge?
• Mirrorbits is now on github!
• Rethinking VLC’s mirrors infrastructure