So a helping hand doesn't taint the DDG brand, buys good will, and provides competition to the defacto monopoly. Good move.
How much is a 4 letter domain worth these days? 10s - 100s of thousands?