"Though Indonesia is the largest Muslim-majority country in the world, its citizens are religiously diverse." . . . .