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.

The "more" is surely whether they're premium or not, which is what Op was responding to.