[doc] Easier badge maintenance