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