[gambit-list] Speed on XML-parsing