issue count badge often not available due to content-delivery-issues with shields.io and github...