Post #2811036

@clafou @stroughtonsmith I did move it from Productivity to Developer Tools (Developer Tools didn't exist when we first released Codea). Wonder if that made a difference