Could you please set priority to 1? You can do this in this PR, so in the "EFF" branch on your computer.
Please notify me here as soon as this is done :)
Deleting a branch is permanent. There is no way to undo it.