Здравствуйте, Сергей!
Если не мешает ничему, то делать ничего не надо. Если начнет мешать, то лучше сделать операцию (обрезание).
С уважением, Константин В. Головченко.