Oh well, back to using Nova instead of Zed. Also tried VSCode quickly again, but I can’t get past the way the fonts look 🤢