
see file doc/index.rd or the same in HTML doc/html/index.html

