Official mirror of pugixml SVN repository