Text this: Historians and eighteenth-century Europe