Add server_tokens configuration option