Two devman core dumps and the devman binary taken when this issue was reproduced on ia32.
HTML preview not available, since no preview renderer could handle it.Try downloading the file instead.
