thoughts:cs-theory: fix broken link