You're right – I apologize. (I thought MODE32 was licensed and bundled with early 68030 Macs, but upon double-checking it was pure Apple.)