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