https://blog.hindumediawiki.com/2022/03/30/why-are-kashmiri-hindus-called-pandits/