Other changes affect the user interface:
The scratch pad in the footer panel has been split into two pads: a temporary one on the left side, and a permanent one on the right side.