tools: apparently our CI cannot handle non-ascii utf-8 characters
tools: apparently our CI cannot handle non-ascii utf-8 characters

StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion