{% if page.platform_win or page.platform_mac or page.platform_linux or page.platform_bsd or page.platform_android or page.platform_fdroid or page.platform_ios %}
Downloads
{% if page.platform_win or page.platform_mac or page.platform_linux or page.platform_bsd %}