Apparently his last post on bitcointalk was in 2011 or so, does anyone know where he went (in terms of the Internet, is he still developing bitcoin or has he left the scene)?