Indeed, it was a workaround made unnecessary for the fix. It is not part of the fix.