Text this: Singapore and the Indonesian Revolution, 1945-50