Wikipedia says the Himalayas extend into Pakistan, and it's marketed as "Himalayan salt" regardless.

Kind of a pedantic comment from you. The part of Pakistan they get that salt from is in the region of the Himalayas. Himalayas spans multiple countries and is a big region. So that person is not wrong, it is from the Himalayas.