For the record, it breaks customizations done by users who introduced new icons in the top bar.