[#1673] challenges: better tag-syncing, show tag bull-horn