(Issue #3715) better ascii art