Range, a Python-like int iterator.
There are minor syntactical differences, so read the comments before you
use it.
Minor ConsoleFormatter doc tweak.