Mozilla lays off 250 employees while it refocuses on commercial products