IO.readline deprecated, updated description