You seem to assume Sensenmann is the only code deletion tool used at Google and/or that it is fully described in the blog post.