Original: The station would then be renamed "Radio 4 Extra".
Simplified: BBC Radio 4 Extra is a British digital radio station.