Reddit general manager Erik Martin has announced his departure. Martin, who joined the site as a community manager in 2008, has helped shepherd it from a relatively modest link-sharing site to one of the internet’s central destinations. Today, that’s coming to an end, though Martin seems to be leaving on good terms.