Document:

John Smith is a software engineer who has been working at ABC Corp for the past 7 years. He has extensive experience in software development and product design. 

Additional Information: 

- John was promoted to Technical Lead in 2018
- His team is working on the new XYZ project
Update the given document with the provided information
John Smith is a software engineer and Technical Lead who has been working at ABC Corp for the past 7 years. His extensive experience in software development and product design has been instrumental in their new XYZ project. In 2018, he was also promoted to Technical Lead.