github because the project is open source (would get close to gh with proprietary information!), we mirror there to run build and tests on their money. ts beca

github because the project is open source (would get close to gh with proprietary information!), we mirror there to run build and tests on their money. ts because we made the mistake of assuming it would be good a while ago and regret it every single day. but its still the least worse if you have to ship js to the browser. that's about it.