I wonder if a large enough user community could fork zed and actually make progress on the bugs that matter?