Why don’t you ask him on Twitter. He used to be quite responsive, though given all the attention he has had in the last month that might have changed. I did tweet him suggesting he record the deletion of the api token and he did that, could have been coincidence.