Moduli_stack_of_formal_group_laws loading ...