[Steuard]

Just fetch it via http rather than https. Works fine.

[cess11]

Fine, here's the de-TLS:ed link: http://www.catb.org/jargon/html/F/Flyspeck-3.html