1. A system, comprising: a first store for storing a first workspace element in a first format; a second store for storing a second workspace element which is an independently-modifiable copy of the first workspace element in a second format; a communications channel coupling the first store to the second store; synchronization means for synchronizing the first workspace element and the second workspace element; and a translator for translating between the first format and the second format.