I would do absolutely nothing about such a dent. I have a 1978 Woodrup with the same dent! It also has an unobtrusive (IMO) dent on the non-drive side chain stay. Personally I think it's _____ and wasteful to spend the time, money, and effort to omit what I consider "character" from vintage frames.