Hong Kong: Tech companies must resist ban on protest anthem