La uña del dedo pulgar, ¿hay que recortarla o limarla cuando sea demasiado larga?