Text this: The languages of political Islam in India, c1200-1800