Not really a bug, but some of the category’s subtitles still say Codify instead of Codea.
I would rather the time be spent on Codea updates than for someone to go thru and change the name Codify to Codea. As you said, not really a bug and I don’t think it really bothers anyone.