One gallon of krausen 24 hours into a double-pitched imperial stout: to blow-off or not to blow-off?