Experimenting with adding theming to `dump()`.  Also fixed a documentation bug for `dump()`.