[ci-skip] Badges

[ArnoStrouwen]

Is there/should there be a badge for doc code coverage?

[ChrisRackauckas]

there should be, and that's the codecov one?

[ArnoStrouwen]

I guess I misunderstand what documentation code coverage means.
I thought it meant how much of the code was covered in the documentation examples.
This in contrast to code coverage in the test, in which case it makes sense to have 2 badges for them.
But I think it is something else.

[ChrisRackauckas]

What is meant is that doctests submit coverage to CodeCov after running, to put things covered by test tutorials into the coverage statistics.