[deleted] comments on Tool for maximizing paperclips vs a paperclip maximizer