Great story guys! We can totally relate , our company is named Edenia , also in reference to a technological paradise. Similar story with domain names we registered https://eoscostarica.com and http://eosio.cr, for good measure : ). We think the country specific TLD adds to geographical diversity and have decided to run all our hostnames under the .CR domain.