Missing Github tags and licensing clarification

First of all, thanks for creating the app. I really enjoy using it! I have a few non-urgent issues:

When using the latest version of the app, it appears that the runtime versions expected by the exported XCode projects are missing in Github (this was mentioned in an earlier post on this forum but it seems like more recent versions are still missing). I know how to work around this but I assume it would be best to be using the latest versions.

Also, the old runtime had a licence file in the repo, but the latest one that gets downloaded in an exported project does not have a licence included and I don’t see anything saying how the code can be used. I found a Privacy Policy on the website (thanks for not collecting data!) but I don’t see any Terms of Service saying we can publish apps or clearly stating what can be done with the code. There are some very old comments in here saying you can publish an app with the code, but no explicit legal terms anywhere as far as I can see.

This is not urgent as I don’t plan on publishing an app using Codea right now, but even if I wanted to publish an app with Codea, I would probably chose not to because of the lack of legal clarity. Here is a relevant stack exchange post: licensing - What can I assume if a publicly published project has no license? - Open Source Stack Exchange

Thanks again for creating a great programming environment on the iPad!