David Aaronovitch is not a BBC staff member. All presenters are regularly reminded about the BBC’s social media guidelines. We’ve also shared these concerns with senior managers at Radio 4.