A Christmas Miracle with the Typst Guys: A student who is tasked by an evil professor to write a long report by Christmas Eve gets some unexpected help from the Typst Guys, Typst's cloud-dwelling mascots. Can the Typst Guys make the student's Christmas wish come true?