He also wrote the File Formatter, which has a file size limit of 32Gb for the Fat32 format for the same reason: it wasn't supposed to be permanent, but it hasn't changed for over 20 years.
I was thinking about this recently, so it is a bug, not a feature