So... I'm a long time user of TIGCC. However, it seems as though it's not under active development anymore (but maybe I'm wrong, though it's been like 6 years since the last release and the repositories are untouched. Is there ever going to be another?) Anyway, is there any benefit to switching to GCC4TI, or should I stick with TIGCC? Could someone explain what the differences are between them?