I don't know where it should live, tbh. I suggest we first merge the PR to unblock the other PRs, and figure this out afterwards. I'm definitely happy to have it live anywhere else.