Maintenance update with bug fixes and editor loading optimisations.
Due to staff holidays contacting individual developers could take a few weeks. As always the fastest way to get a response is to file a report following all the guidelines on the public bug tracker.