Improve module state documentation

Resolves #8381.