eh - no (at least not for me)? But thank you for reporting

edit: we tested and it depends on the browser, most automatically convert the old http link to https, some don't - and thus we updated the links now on the site. Thank you again for reporting it.