Explanatory comment on array.js, and switch to "1." for all numbering.