As suggested in #146, we might benefit from generating our test coverage charts like this one:  right in the CI. Shouldn't be that hard to generate and keep them up to date automatically.