docs: coverage reports are averaged in MRs

This is just a small MR, that explains that coverage reports are averaged (I was looking for this in the docs).