Document config. Fixes #723