A major collection of minor improvements.

Dramatically improved run_paged() time efficiency. Converted additional
function and alias comments into formal documentation. Corrected a minor
color-related regression introduced by the prior commit.