Other chips

I noticed recently TI have hugely expanded the TM4C family. They seem to have added a digit - so there's now a TM4C1233 and a TM4C1290 for example.

Any interest in supporting anything other than 123 and 129 on the Launchpads?

https://www.digikey.co.uk/products/en/integrated-circuits-ics/embedded-microcontrollers/685?FV=-8%7C685&quantity=0&ColumnSort=0&page=1&k=TM4C1&pageSize=500&pkeyword=TM4C1

