Renaming persistent classes

[Chris Muller]

> Yes, that's true but do you think about a Magma manual or reference? Maybe
> any of us (users of Magma)  can help you if you like, of course.

I would like to but I simply don't have the luxury of time to be able
to work on that (unless it would pay something).  So, for now I just
do what I can here in the Magma mailing list.

But yes, it is my hope that someone will eventually step up and become
a expert / co-maintainer of Magma.

 - Chris