Links for sagewithdoc