Users

Win32-IEFavorites is not used by other distributions.