That post links to a query for a non-premium domain name. Of course forum.dev is more valuable than asdfggg.dev. If you query a premium domain name that is available for registration (e.g. money.dev), you'll see that the listed price is higher than $12/yr.