A quick post this week, since it’s that time of the year when people do gift exchanges and put up colourful lights. Here goes: If we need to remove an unused index, we should disable…