Write release notes for 5.13

Please consider giving some space to this concern: !1123 (comment 210174) so that people which maintain infrastructure based on Tails, which might include using scripts which in turn use curl in LAN, know that they need to change something.