Document Console class. Fixes #903