Add additional documentation on 'coverage_interval' usage. Fixes #549