Is this a bad lip tie?

W

I know nothing about lip ties. When I noticed it, I asked my kids pediatrician about it and he basically said don’t worry about it, she’ll bust it from falling or something in the next couple of years. (😳) Is it bad? It doesn’t seem to bother her and she definitely is eating well. Should I bring it up with their dentist or something at her first appointment in the future?