External links are gone
 

There is a malfunction in HOL, it doesn't show external links. Earlier this week some were working, now they are all gone.

Report forwarded to RCK and Cody so that they can take a look.

@Predseda
Already reported it to Cody/RCK a couple of days ago in the private HOL migration thread. Cody has now fixed it! :cool

EDIT: Mods, please shift this thread to a more appropriate home like HOL suggestions and feedback. Many thanks in advance! :)

Thread moved.

Predseda, it seems to be fixed now. Can you give a few tries and report any remaining issues? Thank you in advance.

Yes. I can confirm ít works now. This thread can be closed or even deleted.