Open
Description
What happened?
The default imports are a subset of jshell default imports (/imports), we should document which are the PG default imports.
OS
Other
What browsers are you seeing the problem on?
Other
Contact Details (optional)
No response
Additional information
Leave blank