Links for pygments-hack