BUG FIXES
- fixed an issue where carbon would not spawn near generated stations that had asteroid spawners (this might take a couple of minutes, as the old asteroids need to despawn first)
- explosions now come after the ship destruction sequence instead of when it starts
- fixed checkboxes not working correctly in the options menu
- fixed some device descriptions in the editor
NOTES
- servers need to be updated and restarted
- our own servers will be running some profiling tools on weekdays, and might have performance issues due to this. (But it's for the greater good!)