I have retired from Wikipedia after 13 years, 7 months, and 7 days of activity. Thanks for the memories.