(Author here). Because the firmware size is about 70k right now for AVR, and ATmega32u4 has only 32k of flash. Black Pill STM32F4 boards are supported though, and soon 3 more STM32 boards.