If I run tinytex::install_tinytex() I get an error due to some external proxy settings, which I have minimal control over, see the SO post for details. As a work ...