sagews: Convert to PDF fails (when graphics is included, and in general now)

[sarunasb]

If there is a plot included in the worksheet, Convert to PDF fails with https://proxy/ URL not reachable, because host proxy can't be resolved. Adding name proxy to /etc/hosts seems to fix the problem. Don't know why such URL is used, so not sure what would be the right solution here.

problem printing 'Introduction.sagews' -- "command 'smc-sagews2pdf'
(args=./Introduction/Introduction.sagews --outfile
./Introduction/Introduction.pdf --title Introduction --author John
Voight --date 9/22/2020 --subdir false --contents false) exited with
nonzero code 1 -- stderr='--2020-09-22 17:37:28--
https://proxy/blobs/tmp_u_loegsp.svg?uuid=24f5705f-39c5-4c07-9e70-ca1854b4fd0a\nResolving
proxy (proxy)... failed: Name or service not known.\nwget: unable to
resolve host address ‘proxy’\n

[williamstein]

Things are worse nearly three years later, in that any attempt to convert a sagews to pdf in cocalc-docker fails with: a latex error about missing package inconsolata.sty.