Countertip: open a PR to upstream to improve the experience for everyone