Links for vex2doc