No one heckled, “Off with her head!”?
I understand that is thought to be a very funny joke and would have generated a lot of laughs.