Hi: How is the process for flag the language of a GitHub repo? I added the Aida repo some days ago and only today appeared flagged as "Smalltalk" .... It's a normal delay? -- Sincerely, Germán Arduino about.me/garduino