Update coverage.env option, add documentation