remote-glovebox Server-side variant of glovebox, or alternatively, the open-source & configurable javadoc.io.