Is it possible to disable the server info output? I guess terminal scrolling might cost a (small) amount of time…