Update HOW_TO_PATCH.md