@gamingonlinux I suspect Tectonic will not be the only studio they'll be shutting down this year.