It does signal/imply that even if GitHub fixed every technical grievance tomorrow, Zig might still not come back.