Package doc. There's no package doc; this is a great place to provide a big-picture descriptive overview, illustrate the concepts, give examples, etc. This should prominently point to JShell as the main abstraction here.