Update the HotFix how-to to include #2138811