<p>Double Fine lays off about a third of its staff.</p>