Added revised versions of doc as controlled by Anders.