Links for idmtheory