Update the HotFix how-to.