Den digitala satsning som Sveriges Radios ledning ofta framhåller är tveksam i dessa spartider.