Text this: Robin Hood; or, Sherwood Forest: a comic opera