Text this: An African scholar in the Netherlands East Indies al-Shaykh Ahmad Surkitti (1876–1943): his life, thoughts, and reforms