Text this: Isaac of Troki's studies of rabbinic literature