Various bits of doc added by egonw