No I was not aware of the page.
There are only Tags up until v0.70.6 on the https://github.com/nesbox/TIC-80. Why is that? How does one know those builds are compiled from https://github.com/nesbox/TIC-80 anyway?. How does one get the source to the specific release without the tags?
Now I have even more questions and those other questions from my first post are still unanswered. :(