io.encodings: remove duplication in decoder-readln.