Holiday notice: Support will be offline from Dec 25–28. We’ll be back on Dec 29.