Talk:Moduli stack of formal group laws