I'm on the same camp with you, however when you're writing technical documents, you need both, and Inter [0] is a really nice proportional font.

[0]: https://rsms.me/inter/