Christophe Pettus: All Your GUCs in a Row: random_page_cost and seq_page_cost

The planner charges `random_page_cost` per index page based on how uncorrelated the index is—but the name lies.