Links for recastdoc