A decade or so ago, all over the world, cinemas underwent one of those prince-into-frog mutations, and became, instead popcorn-restaurants, which offered the option of visual diversions for diners.