[wip] RSDayFlow Backport

No concrete dates yet but it helps to have a pull request.
Kill if automatic synthesis works