3 ms·

8.4.7 here. phew

• topspin 8mo ago
  8.5.7 here (built Sept 6, 2023) Now I need to worry about this one. I've been anxious about vscode lately: apparently vscode extensions are a dumpster fire of compromises.