4.0.2

What's Changed

• Ensure mermaid.min.js is cached properly between loads of the editor by @knolleary in #4817
• Guard against undefined sessions in multiplayer by @knolleary in #4816
• Allow auth cookie name to be customised by @knolleary in #4815
• Fix node validation if the property is not required by @GogoVega in #4812
• Clean up orphaned editors by @Steve-Mcl in #4821
• Improve the editor's French translations by @GogoVega in #4824
• Use a more subtle border on the header by @bonanitech in #4818
• Bump for 4.0.2 by @knolleary in #4825

Full Changelog: 4.0.1...4.0.2