I think this is especially interiguing case to casual math enjoyers too, because it feels like the four-dimensional case would still barely be within a grasp of intuitive understanding. So, now that it's proven that they exist, if/when they find examples of the diffeomorphims that don't preserve the rigid structure, I'd love to see (attempts of) explainers about them!
