[Git][cmucl/cmucl][issue-139a-default-external-format-utf8] *tty* format can be either :utf-8 or :default