Not including the helpfiles would just mean a massive increase in simple questions being asked on here and in IRC help channels instead. Just because someone's a programmer doesn't mean they immediately know the in's and out's of any program. If anything it means they're more likely to use mIRC's scripting language, in which case they'll need the helpfile more than anyone.
Besides, the mIRC distribution is hardly big as it is.
