Links for magma-tutorial