.no public consultation of a possible change to the .no domain name policy