[14:40:16] hello, what is the somewhat new tool that allows to create custom dump from wikidata? [14:40:21] that is extract a subset [15:13:18] I was looking for https://wdumps.toolforge.org/