using read_command_lines to read in documentation

[Doug Evans]

Using read_command_lines to read in documentation is a bit bogus, isn't it?
Or is there a reason?

define foo
       echo bar\n
end

document foo
	 if blah
end

(gdb) help foo