Extra

This is where we put stuff that isn’t essential for the current session, but we cannot yet delete it.

Advertisements