0.258.16 - Triple Diamonds

This is a bugfix release. Bugs fixed and minor changes:

• Fixed a bug that caused the game to crash in Upgrade and Tuning menu on Enceladus.
  
• Improved precision of collision detection, which should prevent small object from phasing through hulls.
  
• Improved performance of asteroid fracture.
  
• Cargo display on Eagle Prospector is now easier to read.
  
• Improved performance of ship dealer menu.
  
• Eagle Prospector computer boot animation now shows again.
  
• Fixed various typos.
  
• When your HUD size was increased, dive summary screen was pixelated.
  
• Improved Enceladus performance after return with a large haul.