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