Re: [patch] Reduce server startup noise (ascii banner, not ascii art banner)