Domain name dilemma: dot.lux?