• Fix: It is no longer possible to have the explorer and settings menu open at the same time
• Fix: Page IDs in page revisions were not updated on page copy, causing subsequent edits to be committed to the original page instead
• Fix: Copying a page now creates a new page revision, ensuring that changes to the title/slug are correctly reflected in the editor (and also ensuring that the user performing the copy is logged)
• Fix: Prevent a race condition when creating Filter objects