`py--unfontify-banner', behave mannerly if no prompt
Windows defaults again