"[core DDG library]" -- we REALLY need to change the name of that repo! Or at least decide on a standard way to refer to it.