mandel/testing: links for ocyan-main