Is it better to peel hard-boiled eggs when they are hot or cold?