How does the Microsoft hotfixes section of Resource Manager get populated?