Alas, Punch is no longer as funny as it used to be.
Permanently, now.