“5% of OpenCode's user traffic originates from Brazil.”