Summaries of part of InputOutput docs from wiki.wooledge.org.