In the manual for the miniscript command line, there is a typo here
.readLine writes the next line of the file
Haha, good catch! That's a copy/paste error for sure.