A warning for low coverage. Other warnings will follow. See #2247 (closed). Closes #2917 (closed). See also #2916 (closed).