Fix some borkage with documentation of File.readln variants; add a better example for File.readln(buf) that emphasizes the need to copy the buffer, since it is overwritten when read