Core to ESP-IDF?

First of all, thanks for doing such a great software, as I noticed we’re running bit low on program memory currently so I was just thinking out loud whether it would have any idea to rewrite core directly to ESP-IDF to allow using FreeRTOS tasks (which can be statically allocated to flash nowadays too), proper prioritizing and queues meanwhile running Arduino dependant not-so-mission-critical frontend stuff on own little sandbox task. I know it would sacrifice portability a little, but I believe most people use ESP32’s and architecturally split would benefiticial in a long run considering how interested people would be adding features. Just food for a thought. <3