Badges; documentation update; coverage report