People who worked for the BBC outside of the radio service were reading about Scott Mills sacking on news websites