Just a small update for today’s snapshot to test a fix for a crash on startup, that some Linux users might encounter.