Author of the program uses let’s encrypt and the ssl certificate is expired for the documentation... https://mathics.angusgriffith.com/doc/