Pretty-print servers