Indeed, if they are waiting for more details to include in the PR, then it will hopefully offset any delay, and will result in a quick recovery from today’s backsliding, with additional gains as well!