Huh? Enabled for ages, now they tell me “The Gmail gadget does not support the “Always use https” setting that you chose in full Gmail.”