redirect /gh/tinytex/tools/ to tinytex.yihui.org instead, because raw.githubusercontent.com is blocked in certain regions (e.g. https://d.cosx.org/d/421504)
redirect /gh/tinytex/tools/ to tinytex.yihui.org instead, because raw.githubusercontent.com is blocked in certain regions (e.g. https://d.cosx.org/d/421504)

yihui/yihui.name,yihui/yihui.name,yihui/yihui.name