Is this an official repository?

I don't know if this is an official repository, but I'm gonna add a few bug reports. They are also added to https://gitlab.com/russotto/ztools so stop me if you don't want them here.