Text this: Timing of cholecystectomy after mild biliary pancreatitis