Har 2025 dot fun-boblen sprakk ennå eller? (som .fun-domeneinnehaver)