The GP was about producing documentation from code. The problem is that useful documentation is exactly about what is not clear from the code.