Bok added the project to free-dc, maybe he could check how the badges are detected too.
Please, if you have time, Bok.

With the addition of new sub-projects, are you considering adding individual project badges rather than just total credit badges?

Yes I am. Actually I considered subproject badges since start of badges, but there is a minor technical difficulty that I do not track credit by subproject currently.
Right away I announce that there wont be subproject badge for the tot5 app. Because I do not want to and second I do not have the data to assign it by.
For Lua and Symmetric prime tuples, deletion of old results is disabled so I can extract the credit data late with a simple sql command.