When does Marvel Lucha Libre Edition: The Origin of the Mask return?

Marvel Entertainment was mainly known for consumer products, licensing, and comic books by its flagship asset, Marvel Comics. The Walt Disney Company acquired Marvel Entertainment for US$4 billion on December 31, 2009. Marvel Entertainment's remaining units were folded into Disney's other divisions on March 29, 2023.