Re: [tc][tricircle] Retiring the Tricircle project