I vaguely remember it being on several floppies, actually, maybe 4.