[Fixes#77439676] Converts numbers in tabs to badges