Consider the following:
I have a touring bike of unknown origin, lugged Champion No.5 tubes (P.G. 0.9), ca. 1984 +/-. The picture above is the bottom side of the down-tube and top tube lugs where they attach to the head-tube. Not art, but also not a nice round profile as I understand that pointy lugs in this location is not desired because it causes stress-risers which could lead to frame failure.
I am about to get the frame re-painted and press it into heavy touring/commuting. Is it advisabble, or even worth the time, to file/dremel the points off the bottom side of these lugs to a more rounded profile? It should take less than 1/2 hour, so it is not that big of a deal from a time perspective.