by dochtman·6y ago·view on hn ↗That seems to refer to the last release, but the GitHub commit history seems active, if not quite high velocity:https://github.com/tectonic-typesetting/tectonic/graphs/comm...