Revised Debian tutorial instructions to mount /dev/pts, install schedtool, and set locale