Good shot − transferred into there with https://github.com/Work4Labs/work4us/commit/6e0badf458f7d32140a1b14d48138eab0f7c494c
No changes in that submodule (Symfony) necessary anymore, I'm thus deleting the PR and the branch.