1.13.1 — What's New section and platform filter

Release Notes is now called What's New. Every article shows platform labels, and the list can be filtered by Web, iOS, Android or Telegram.