In episode 5, I said I would put up a few pre-modern illustrations showing what might be doubled rope. Check them out and let me know if you think the rope is doubled.
Closeup from a 1887 storybook.
Illustration from a 1882 storybook.
Closeup from a 1786 children’s picture book.
Closeup from a theater season program (undated).