[Cuis] Making better use of github ---- all comments in an external file?

[H. Hirzel]

Hello Juan

After reading the mail Ken just sent I wonder if we could have all
class comments in an external github file.

In that case we could come up with proposals to  fix them in our forks
and send you pull requests.

You then can pull in the changes and when you prepare an image you
would have to load the class comments file into the image.

What do you think about this idea?

Kind regards
--Hannes