Add documentation for format-TEL.sh