This SVG file (https://github.com/agda/agda/blob/master/doc/user-manual/agda.svg) is part of Agda's official source repository (https://github.com/agda/agda)...
