There are cases where users can request like at current you have to request @theymos to change the username or post to be appeared by anonymous like in recent case @Royse777 requested to change one of thread to appear by Anonymous user.

So this can also be case even if he has not deleted the account but at that time @Satoshi was looking for all the matters and maybe he has edited the post for some correction can't say exactly.