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. -- 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/5960a0a3-7bc4-4050-9198-5813898d1038n%40googlegroups.com.