logger: uses html default filename when appropriate