Title: The Comedy of the crocodile as preserved in various manuscripts