What DUB acronym means?

[Mike Parker]

On Tuesday, 9 December 2025 at 22:15:35 UTC, Dejan Lekic wrote:
>
> I always thought originally there was no meaning to "dub". 
> Those who do not know, there was, very, very long ago, a tool 
> named "bud" that was used for the same purpose. I always 
> thought "dub" was a synthetic name that Sonke came up by 
> playing with word "bud". If anyone knows, that is him. :)

That's what I assumed, too.