Automatically generated usage message.
-h,--help Show a brief usage message and exit. --readme Show a more elaborate README and exit. -m,--mem=GB Default: 6 GB. How much memory to try to use. Raising this may improve performance by avoiding garbage collection. To avoid swapping, keep this below (physical_memory - 2 GB). -p,--port=ARG Default: 9999. What port to run on. -r,--root=ARG Default: "./translations". Where to find translations. See the --readme to understand this. --public=ARG Default: "/v/filer5b/v11q001/acl2/acl2-git-scratch/books/centaur/vl/server/public". Where to find the supporting 'public' directory from the module browser's code. You should be able to ignore this unless you're deploying the module browser to a different directory.