Yes, it exists. So, I rebooted my device ... and your patch is now in the patchmanager choice ... except that I cannot apply it