@kch I skimmed it again, though. It’s one of those issues that doesn’t really change in 10 years. No magic solution from text editors.