On Saturday, April 27, 2024 at 2:30:00 PM UTC+9 Kwankyu Lee wrote:
The app provides access to a local copy of the documentation stored inside the application bundle. The files are reorganized slightly to remove duplication and then compressed with gzip. The app views the files using cocoserver <https://pypi.org/project/cocoserver/>, which provides a slightly modfiied subclass of Python's ThreadingHTTPServer. The behavior of that server is modified so that it adds a gzip header to any file named *.gz. The browser automatically decompresses gzipped files served with such a header. ("Coco" stands for "compressed content".) This motivates me to open #37878. Exactly, https://github.com/sagemath/sage/pull/37878 -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/30a2a84d-2939-4506-a5f9-95b18b8ef92dn%40googlegroups.com.
