yeah, that might be a good idea. could you submit a feature request? unfortunately, it doesn't seem like codium is making any progress on the git issue 😥