Both. Ben's taking off for personal reasons (it's literally written in his email, but people will still try to pretend it's related to the recent kerfuffles with Red Hat)