[Wikidata-tech] Re: From JSON to RDF dumps