Am I completely delusional, or is the ecos\packages\redboot\current\doc\redboot.edb7xxx file missing a step 3 to which step 5 refers? I am referring to the latest CVS sources downloaded less than 30 minutes ago.