888KiB is quite large, but I see they're including the whole rest of the firmware in that number, fair enough. Their actual application code weighs only 35,742 bytes, compiled.