William Stein

Results 812 comments of William Stein

https://letsencrypt.org/ seems to be still going strong in 2023, so further motivation to do this.

The answer now is to go to the admin settings page and enable the commercial UI functionality. This is implemented and can be very useful.

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`.

Closing since this seems out of scope for this project.