Removing doctrees from the repo, I SWEAR. Third time's a charm, right?