The only thing holding me back from running Asahi is lack of HDMI output (at least on M1 Airs). Has anyone heard about progress (or its likelihood) recently?