A Python implementation of the HTTP server for the dotjs browser plugin.