Is Philip Linden really leaving?