That is my understanding of it, too, yeah. In principle, I’m also okay with them providing something like this. I’m just worried that they’ll eventually start adding stuff into it, which impacts Git.