Thanks Leonid! One quick note: if you click the "Show Details" button on the "duplicate librefs detected" window, it usually lists the duplicated libraries. The admin still has to take action to fix the issue, though.