Ah wait, that is why this issue was closed and reopened elsewhere :)