PHB p. 125 (section about Proficiencies gained when choosing your background): "If a character would gain the same proficiency from two different sources, he or she can choose a different proficiency of the same kind (skill or tool) instead."
I wasn't questioning if it was true, just pointing that an UI highlight would already solve a lot.
"Other games that won't be named" do it, for instance.
