It's weird to use another server port than the 80 one for a public and official website...

It must use some external cookies (or any other tracking tool), as none of the 2 links work with my usual browser profile, even when allowing site cookies. I had to use the non-protected profile to see the pages.