log: about testing changing of the extension from .txt to .asciidot