If you look at ST's product chart page, STM32F4XX microcontrollers can have anywhere from 512K to 2056K of flash, maybe they're suggesting that 512K doesn't justify the use of small rtos?
Something about this website feels uncanny, hence my (joking) guess regarding GPT-3.