Text this: The pomping folk in the nineteenth-century theatre;