[mkj]

The "# cat greetings.txt" has a # suggesting they sorted out a real pty somehow. Or it was faked later :)

[marcan_42]

The usual trick to get a pty is `script /dev/null` by the way, if that command is available