How about launch a new funding campaign to buy the grin.org domain for the community? If after main net , it could be too late. Now that domain is listed for sale. but next year, could be not available anymore, or the price is on the moon.
perhaps now it’s the good time to acquire this domain?