CCRDT: add svg icons for badges